As we stated in the previous section, we wish to see whether DOT's performance increases as we vary the maximum width of a tree.
the probability of a translation w s µ w t is the sum of the probabilities of its derivations: The justification of this last equation is quite trivial.