Aspect, Negation and Quantifiers