Exclusions and restrictions of rules are also assumed in much of the language-theoretic work on CCG.
they are essential for the formalism used in the aforementioned equivalence proof for CCG and TAG (Vijay-Shanker and Weir, 1994).