In any derivation of some PLTAG grammar G, the nodes that each prediction tree contributes to the derived tree are replaced by the nodes of some (canonical) verification tree.
the resulting derived tree can be built (non-incrementally) from only canonical trees, using substitution and adjunction.