This span assignment satisfies the properties of the outside parse trees we use for outside tree decompositions.
for every node To see this, we observe that H(T 4 , u) cannot be dominated by , then there would be no node n in T 4 such that u, v ∈ Bag(n).