Predicates and Quantifiers: Logical, Negated & Nested Quantifiers