Assertion: negation | /r/HasProperty | other quantifier
Facets:
Source sentences:
text: The negation of one quantifier is the other quantifier ( ¬ ∀ x P ( x ) ≡ ∃