LCGBank

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.