that-trace constraint/filter/phenomenon

A term in GENERATIVE GRAMMAR, originally in EXTENDED STANDARD THEORY, used in connection with such constructions as *Who do you know that – saw Bill?, which involve extraction of a SUBJECT from a CLAUSE introduced by a COMPLEMENTIZER. In GOVERNMENT-BINDING THEORY, this phenomenon is accounted for by the EMPTY CATEGORY PRINCIPLE.