Assertion: existential quantifier's scope | /r/HasProperty | entire formula
Facets:
value: in the examples
type: OTHER
Source sentences:
text: In the examples above, the scope of the quantifiers was the entire formula, but that need not be the case.