この資料をSMS送信: Representation and inference for natural language: a first course in computational semantics