Statements involving predicates and quantifiers