Assertion: existential quantifier | /r/HasProperty | the dual
Facets:
Source sentences:
text: The existential quantifier ∃ is the dual; that is the formula ∃