Assertion: existential quantifier | /r/HasProperty | equivalent
Facets:
value: to a logical disjunction of propositions
type: OTHER
Source sentences:
text: The existential quantifier is equivalent to a logical disjunction of propositions having the same structure as before.