parsing combinatory categorial grammar via planning in answer set programming .
CCGbank: A Corpus of CCG Derivations and Dependency Structures Extracted from the Penn Treebank