Only nonterminals in NXA will be involved in this derivation, and by construction there is at most one such nonterminal per tree.
a well-formed derivation structure in GXA will never branch, and we can refer to the n + 1th tree pair as the one which is at depth n in the derivation structure.