Derivations are considered complete only if they satisfy additional, node-specific constraints.
substitution is obligatory at every node where it is possible, and adjunction may be specified as either obligatory (OA, Obligatory Adjunction) or forbidden (NA, Null Adjunction) at a given node.