Define Hybrid Class Resolving Disjointness due to Subsumption
Enlarge Class Definition for Resolving Disjointness due to Subsomption
Summarization of an inverse n-ary relation