Text this: Formal semantics of natural language :