ISM - Interpretive Structural Modeling
1. Binary relation matrix D = [π_ij] (1 if e_i affects e_j).
2. Reachability matrix M* via Boolean powers until stable.
3. Reachability set R(t_i) and antecedent set A(t_i).
4. Level partition: e_i at current level iff R(t_i) ∩ A(t_i) = R(t_i).
5. Build hierarchical digraph from level partition.