As mentioned in Section 1, the central feature of this formalism is its ability to impose restrictions on the applicability of combinatory rules.
a restricted rule is a rule annotated with constraints that (a) restrict the target of the primary input category; and/or (b) restrict the secondary input category, either in parts or in its entirety.