Higher-order logical inference with compositional semantics
CCGbank: A Corpus of CCG Derivations and Dependency Structures Extracted from the Penn Treebank