Model 1 decomposes each tree into a set of grand-sibling parts-combinations of sibling parts and grandchild parts.
a grand-sibling is a 4-tuple of indices (g, h, m, s) where (h, m, s) is a sibling part and (g, h, m) and (g, h, s) are grandchild parts.