Assertion: existential quantifier | /r/HasProperty | exists]z element ofu
Facets:
Source sentences:
text: To eliminate an existential quantifier [exists]z [element of] U, we use the lemma above, by translating its statement into first-order logic.