fixed quantifier bounding in grammer