quantifier

quantifier 
      ::= all | some 

This rule is called by

-> quantified_comp_predicate