Assertion: generalized quantifier | /r/CapableOf | associate the inclusion relation
Facets:
value: over m
type: OTHER
Source sentences:
text: Therefore, the generalized quantifier all, which with each universe M associates the inclusion relation over M, is eminently suitable to interpret all, and similarly for other determiners.