Subsumption constraints that are not satisfied in the example. The last one is selected. The subclass and the superclass on the right are the ones that have inconsistent values for I.

Definitions for the two classes above: Group of People and Social Entity.