Text this: Logical form, predication, and ontology /