Text this: Logic and ontology /