Subsumptive containment hierarchy