Our objective is to construct a maximum noncrossing dependency graph on the full vertex set.
the goal items of the deduction system are all items over the full interval OE1; n. The inference rules of the deduction system are shown in Figure 2.