أرسل هذا في رسالة قصيرة: Studies on the application of formal semantics to English-Japanese machine translation /