Text this: Categorical grammar and the logical form of quantification /