each sentence separately and runs the inference algorithm to predict the parse tree.
the conditions of theorems 2 and 3 check whether a collection of linear (in)equalities has a feasible solution using a linear program solver.