Our model is arc-factored, so we can sum over all DCS trees in Z L (x) using dynamic programming.
in order to learn, we need to sum over {z ∈ Z L (x) : z w = y}, and unfortunately, the additional constraint z w = y does not factorize.