Text this: Representation and inference for natural language: a first course in computational semantics