Many current interfaces for natural language copy is made of its entry, and unification is applied to the copied graph, not the original one. copying operation. In fact, unification in a typical parser is always preceded by a Because of nondeterminism in parsing, it is, in general, necessary to preserve every representation that gets built. The same graph may be needed again when the parser comes back to pursue some yet unexplored option.