syntax-with-predicate-logic