Table 8.
Summary of label partitioning iterations (1 to 6).
| Enablers, (Mi) | Reachability set, R(Mi) | Antecedent set, A(Ni) | Intersection set, R(Mi)∩A(Ni) | Level |
| 1 | 1 | 1 | 1 | III |
| 2 | 1, 2, 6, 7 | 1, 2, 6, 7 | 1, 2, 6, 7 | I |
| 3 | 3, 4, 5 | 3, 4, 5 | 3, 4, 5 | I |
| 4 | 3, 4 | 3, 4 | 3, 4 | I |
| 5 | 3, 5 | 3, 5 | 3, 5 | I |
| 6 | 1, 2, 6, 7 | 1, 2, 6, 7 | 1, 2, 6, 7 | I |
| 7 | 7 | 1, 7 | 7 | II |