Studies on the application of formal semantics to English-Japanese machine translation | lit.salon