An expression (an SD) is a Subjacency violation if its derivation forms a starred trace.
- Chomsky (1995), Pag. 91