628036.fig.007
Figure 7: Rewriting rules for the bracketed string of trees.