 Given a cumulative model \(M = \langle S, l, &lt; \rangle\), the entailment relation \(\pipsim _M\) defined by \(M\) is given by: \(A \pipsim _{M} B\) iff for all states \(s\) minimal in \(\hat{A}\), \(s\mathrel|\mathrel{\mkern-3mu}\equiv B\).