Since order within each relation matters, the following is a different rule:
This rule can be represented graphically as:
Like the previous rule, running this rule also gives a tree, but now with a somewhat different structure:
With the other rendering from above, the last 3 steps here are: