it has no children) or all of its children are in G (and it is connected to all of them  Figure 6: Two frontier graph fragments and the rules induced from them.
furthermore, we define a derivation string as an ordered sequence of elements, each of which is either a source symbol or a target subtree.