Several kinds of traces of movement are codified. The empty category is always co-indexed with the moved phrase and it is externally labeled for category (and function).