Especially after reading the example it might seem useless to create the rule copies in R l [in Example 6 for l = σ(z 2 , z 3 )].
each such rule has a distinct state at the root of the left-hand side, which can be used to trigger only this rule.