Categorial grammar and the logical form of quantification | lit.salon