The use of trace labels in the pseudo-projective transformation leads to a proliferation of edge label types: from 69 to 234 in the training set, many of which occur only once.
this algorithm cannot be generalized to the second-order setting - McDonald and Pereira (2006) proved that this problem is NPhard, and described an approximate greedy search algorithm.