Відправити по sms: Representation and inference for natural language: a first course in computational semantics