Text this: Logic and the formal theory of natural language :