“…This dataset uses the same simple PEs as in [8], namely, π = policy from Phase 3 q = Q pol (π) workL = list of removable roles in π changed = true while ¬empty(workL) ∧ changed sort workL in ascending order by Q role changed = false for r in workL Figure 6: Phase 4: Remove roles. [6,11], [7,10], [8,9], [8,11], [9,11], [10,11], [10,12], [11,13], [14,15], [16,17]. These PEs are designed to cover various relationships between intervals, such as overlapping, consecutive, disjoint, and nested.…”