Assertion: order logic | /r/HasAspect | new quantifiers
Facets:
Source sentences:
text: First-order logic with extra quantifiers has new quantifiers Qx ,..., with meanings such as "there are many x such that ...".