Text this: Formal semantics and pragmatics for natural languages /