For example, Steedman's restricted version of >B x for Dutch can only apply when the secondary functor is a category that will ultimately produce a matrix clause (i.e., s_ SUBS), whereas we wish to avoid using such features to enforce combinatory control.
the formal system should not have to refer to grammar specific properties.