Assertion: existential quantifier | /r/HasProperty | logical terms
Facets:
Source sentences:
text: If negation, identity, and the first-order existential quantifier are indeed logical terms, and if the analytic (or logical) truths are closed under consequence, then no analytic (or logical) truth can entail (Two).