Then the edge ¥ ¥ k can be ruled out of the parse in one of two ways: it can be ruled out by making its score less than the adjacent scores as specified in (5), or it can be ruled out by making its score smaller than the score of .
the exact constraint contains a disjunction of two different constraints, which creates a non-convex constraint in w .