Assertion: quantifier | /r/CapableOf | behave like universal quantifier
Facets:
value: over individuals
type: OTHER
value: in models with domains of cardinality
type: LOCATION
Source sentences:
text: Now consider a quantifier that behaves exactly like the universal quantifier (over individuals) in models with domains of cardinality [greater than or equal to] n, but like the existential quantifier in models with domains of cardinality < n.