Assertion: unrestricted quantifier | /r/HasProperty | aided by connective
Facets:
Source sentences:
text: As far as the existential and universal quantifiers go, the converse is also true: we lose nothing essential by considering only the logic of these unrestricted cases, since anything we can express with restricted or sorted '∃' and '∀' is expressible with unrestricted quantifiers, aided by connectives.