?A ?B ?C ?D ?p Class: ?A EquivalentTo: (?B and ?C) Class: ?A SubClassOf: (?p only ?D) ?E ?F ?G ?H ?q Class: ?E SubClassOf: (?F and ?G) Class: ?E SubClassOf: (?q only ?H)