Assertion: quantifier | /r/HasProperty | a family of properties
Facets:
value: in other words
type: OTHER
value: on dom(a
type: LOCATION
Source sentences:
text: In other words, each quantifier is a family of properties on dom(A), so each is called a monadic quantifier.