The Trace Erasure Principle is a stipulation proposed by Noam Chomsky as part of the Generative-Transformational Grammar. Under the Trace Erasure Principle, traces of an noun phrase (NP) can be replaced only by a designated morpheme and not by an arbitrary NP.
The following is an example of this Principle:
can be transformed into:
and this Principle remains fulfilled.
Both sentences hold the same meaning, because we have designated There to replace a person —both terms are mutually linked—, and the meaning remains.
A case where this principle is not fulfilled can be the following:
transformed into:
Obviously, the meaning of the latter is radically different from that of the first. We have replaced Mario with Maria, and their meaning is not linked. We have arbitrarily chosen Mario to replace Maria.
But the following phrase fulfills the Principle:
In this case, who identifies with Maria.