Combinatory categorial grammar

In formal linguistics, combinatory categorial grammar (CCG) is an efficiently parsable, yet linguistically expressive, grammar formalism. It has a transparent interface between surface syntax and underlying semantic representation, including predicate–argument structure, quantification, and information structure.