graded quantifiers