Essentially, T d (a, b) allows us to insert up to d trace predicates between the roots of a and b.
this is useful for modeling relations in noun compounds (e.g., California cities), and it also allows us to underspecify L. our L will not include verbs or prepositions; rather, we rely on the predicates corresponding to those words to be triggered by traces.