Note that there is spurious ambiguity in the model at two levels: Firstly, it is possible that there can be different derivations for the same tree-string pair.
during the application of the model this ambiguity occurs infrequently.