full predicate syntax