Define Hybrid Class Resolving Disjointness due to Subsumption
Enlarge Class Definition for Resolving Disjointness due to Subsomption