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 .
as proposal grammar, we use the analogous approximation of our G as Johnson et al.