Assertion: quantifier | /r/HasProperty | a set of finite models
Facets:
value: essentially
type: DEGREE
Source sentences:
text: So a quantifier is essentially a set of finite models; by Isom we can assume that models of cardinality m all have the same domain \(M = \{1,\ldots,m\}\).