For each adapted non-terminal A ∈ M , a cache C A is maintained for storing the terminating tree fragments expanded from A earlier in the process, and we denote the fragment corresponding to the i-th expansion of A as z i .
the sequence of indices z i is the assignment of a sequence of expansions of A to particular tree fragments.