Multigrade predicate

Redirect to:

• Plural quantification