Incorporate new quantifier annotator