It is worth pointing out that, although the system described in Nivre (2008b) uses four transitions bearing the same names as the transitions of S u , the two systems are not equivalent.
the system of Nivre (2008b) is sound but not complete for the class of all dependency trees.