Module translate_predicates

Source