... variables how they will be sit-uated in a solution of the solved form. They caneither dominate each other in either direction, orthey can be disjoint. But if they are disjoint, wealso know the lowest ... s.t. Fi E 0, the holes X1,1 and are different.0 is called the set of upper fragments of the chain, and QI is the set of lower fragments. We call all the Xj,1 and Xi,r connecting ... mapping each holeh to the label P(h ) in the USR, and mapping the new top hole 1/0 to the label denoting the root of the tree.6 From Solved Forms to ConstructiveSolutionsTheorem 4 establishes...