Although the constraints are more refined, they are fewer in number than (4).
we now only have a polynomial number of constraints corresponding to each word pair in (5), rather than the exponential number over every possible parse tree in (4).