We described a learning algorithm for this class which scales well to large examples and is even capable of learning from small samples.
we ran the second phase of our system in a supervised fashion by using the treebank to decide which are the best congruence classes to choose as non-terminals.