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