... the cells */ For d=l to (J-l) For a=l to (J-d) For each X t, Set [Xt,a,a+d] to maxH{underparsing ops for [Xt,a,a+d]} For each X ~, Set [Xt,a,a+d] maxH{[Xt,a,a+d], parsing ops for [Xt,a,a+d]} ... maxH{underparsing ops for [Xt,a,a]} For each X t, Set [Xt,a,a] to maxH{[Xt,a,a], parsing ops for [Xt,a,a]} Repeat For each X t, Set [Xt,a,a] to maxH{[Xt,a,a], overparsing ops for [Xt,a,a]} Until ... thought of as enforcing faithfulness absolutely, with no faithfulness violations are allowed. Partly for this reason, traditional parsing is usually under- stood as mapping a surface form to a description....