[…] we have the following properties of trace: (2) (i) trace is governed; (ii) the antecedent of trace is not in a θ-position; (iii) the antecedent-trace relation satisfies the subjacency condition.
- Chomsky (1993), a pag.56

The basic assumption, then, was that a movement rule leaves a trace with can be filled by another element, all of this internal to the operation of the single transformation "T".
- Chomsky (1993), a pag.86

[…] we have two types of trace: variables and NP-trace. Each of these too is associated with a certain cluster of properties: specifically, variables are R-expressions and NP-traces are anaphors […].
- Chomsky (1993), a pag.321

If α in S-structure has been derived by movement of β from the position occupied by α, then we will say that α is "the trace of" β.
- Chomsky (1993), a pag.328