The following pages link to Submissions:Define Hybrid Class Resolving Disjointness due to Subsumption: