Alastair Butler: Logic and Engineering of Natural Language Semantics (LENLS) 8. JSAI-isAI Workshops 2011: 1-2