The locality condition put on the derivation sufficiently constrains the possibilities for attaching the trees from elementary tree sets: Different trees from a tree set attach to different nodes of the same elementary tree.
the dominance relations among these different nodes determine the dominance relations among the different trees from the tree set.