LCGBank

LCGbank is an English-language corpus of syntactic analyses based on Lambek categorial grammar (LCG) proof nets. Proof nets are graphical structures that have the advantageous property of invariance to spurious ambiguities: semantically-equivalent derivations correspond to a single proof net. LCGbank leverages the relationship with combinatory categorial grammar (CCG) and uses CCGbank as a starting point. In contrast to CCGbank, LCGbank eschews type-changing and uses only categorial rules; the syntactic analyses thus provide fully compositional semantics, exploiting the transparency between syntax and semantics that so characterizes categorial grammars.