Recent work on quantifiers shows that such grammar-paralleling formalizations are available and logi...