They are based on dominance constraints (Marcus et al., 1983;Rambow et al., 1995) and extend them with parallelism (Erk and Niehren, 2000) and binding constraints.
lifting -reduction to an operation on underspecified descriptions is not trivial, and to our knowledge it is not known how this can be done.