Formulas in predicate logic; different predicates