Categorial accounts of cross-serial dependencies initially made use of a
syntactic rule of composition [16].  Recognizing the lexical nature
of the process, more recent proposals have used either a lexical rule of
composition [14] or a lexical rule of `division'
[9].  Division is a rule which enables a functor to inherit the
arguments of its argument:

To generate cross-serial dependencies, a `disharmonic' version of this rule is needed:
Hoeksema proposes that verbs which trigger cross-serial word order are subject to (8):

In a framework using recursive constraints, generalized disharmonic division can be implemented as a recursive constraint connecting the initial category of such verbs with a derived category:


Only verbs that trigger the cross-serial order are subject to the division constraint. This accounts immediately for the fact that cross-serial orders do not arise with all verbs selecting infinitival complements.