Multigrade predicate

Redirect to:

  • Plural quantification