Found:

Ideal

**SEMANTICS: **a particular type of **generalized quantifier** Q
(Q =/= 0) which obeys the condition in (i):

(i) for all X,Y subset E: (X in Q and Y in Q) <=> union(X,Y) in Q

(ii) a Only dogs bark and only dogs run <=> only dogs bark or run b Not all dogs bark and not all dogs run <=/=> not all dogs bark or run

LIT. | Zwarts, F. (1981) |