However, because there is no ranking of which the members of an inconsistent ERC set are all true, Ω is not shatterable because there is no ranking of which the ERCs in Γ are true while the ERCs in Ω − Γ are false.
consistency under partial negation is both necessary and sufficient for shatterability.