The typed slashes of CTL project their modes into structures and thereby limit or enable the application of structural rules to their local context.
contrary to CCG, there are no rule-constraints acting as absolute and global choices; instead, parametric options regarding the way in which expressions can be combined are selectively invoked via the appropriate category assignments in the lexicon.