Annotate quantifier meanings