Zaslat SMS: Representation and inference for natural language: a first course in computational semantics