Assertion: quantifier | /r/HasProperty | one
Facets:
value: under some assumptions
type: OTHER
value: precisely
type: DEGREE
value: with a certain strong monotonicity property
type: OTHER
Source sentences:
text: Their technical proposal was developed further in van Benthem (1986), which introduced a notion of count complexity and showed that, under some assumptions, the quantifiers with minimal count complexity are precisely the ones with a certain strong monotonicity property.