Text this: Formal semantics of natural language