Adjoin base: tries correspond to tree that have adjoined into a tree that has adjoined into the tree of the current item.
for each of the t trees that may have adjoined at a derivational distance of one, there are t more trees that may have adjoined at a derivational distance of two.