Here, the forest covers all minimal derivations that correspond to G. It is necessary to ensure that for each derivation, each unaligned item (here ) appears only once in the rules of that derivation, as shown in Figure 2 (which satisfies the property).
in the minimal-rule extraction of GHKM, only three rules are extracted from the example corpus, i.e.