Treebank Annotation for Formal Semantics Research. - Alastair Butler; Ruriko Otomo; Zhen Zhou; Kei Yoshimoto (JSAI-isAI Workshops, 2012)