G. In particular, each derivation d in G has a nonempty set of corresponding derivations {d I } = π −1 (d) in G I , because fragments f in d correspond to multiple fragments f I in G I that differ only in their indexed symbols (one f I per occurrence of f in B).
the set of derivations in G is preserved in G I .