Assertion: quantifier | /r/HasProperty | vacuous
Facets:
Source sentences:
text: A quantifier that binds no variables is vacuous.
text: A quantifier is called vacuous if the variable it binds does not appear anywhere in its scope, such as ∀ x ∃ y [ 0 ≤ x ] .