Predicate Logic Translations