 Lehmann and Magidor (1992) focused on a subfamily of preferential models, the so-called ranked models. A ranked model \(R\) is a preferential model \(\langle S, l, &lt; \rangle\) where the strict partial order \(&lt;\) satisfies Modularity: for all \(s, t, u \in S\), if \(s&lt;t\), then \(u&lt;t\) or \(s&lt;u\).