Moreover, we identify trees of T Γ (Q (P (X))) with trees of T Γ ((Q × P )(X)).
when meeting a subtree q(p(x)) with q ∈ Q , p ∈ P , and x ∈ X, then we also view this equivalently as the tree q, p (x), which could be part of a rule of our composed XTOP.