class 1	class 2	matching	why
intersection of class A and restriction is subclass of class A
IM_overGSM equivalentTo  InstantMessaging that hasNetworkConnectivity value GSMConnectivity	InstantMessaging equivalentTo	Expected PluginMatch Processed PluginMatch
SMS_overGSM equivalentTo  SMSExchange that hasNetworkConnectivity value GSMConnectivity	SMSExchange equivalentTo	Expected PluginMatch Processed PluginMatch
IM_overGSM equivalentTo  InstantMessaging that hasNetworkConnectivity value GSMConnectivity	SMSExchange equivalentTo	Expected NotMatch Processed NotMatch
intersection of class A and class B is subclass of A
SMS_and_IM equivalentTo  IM_overGSM and SMS_overGSM	IM_overGSM equivalentTo  InstantMessaging that hasNetworkConnectivity value GSMConnectivity	Expected PluginMatch Processed PluginMatch
SMS_and_IM equivalentTo  IM_overGSM and SMS_overGSM	SMS_overGSM equivalentTo  SMSExchange that hasNetworkConnectivity value GSMConnectivity	Expected PluginMatch Processed PluginMatch
IM_overGSM equivalentTo  InstantMessaging that hasNetworkConnectivity value GSMConnectivity	SMS_overGSM equivalentTo  SMSExchange that hasNetworkConnectivity value GSMConnectivity	Expected IntersectionMatch Processed NotMatch
union of class A and class B is superclass of A
SMS_or_IM equivalentTo  IM_overGSM or SMS_overGSM	IM_overGSM equivalentTo  InstantMessaging that hasNetworkConnectivity value GSMConnectivity	Expected SubsumptionMatch Processed SubsumptionMatch
SMS_or_IM equivalentTo  IM_overGSM or SMS_overGSM	SMS_overGSM equivalentTo  SMSExchange that hasNetworkConnectivity value GSMConnectivity	Expected SubsumptionMatch Processed SubsumptionMatch
class with class A in range is superclass of class B with instances in range
IM_overCellular equivalentTo  InstantMessaging that hasNetworkConnectivity some CellularConnectivityType	IM_overGSM equivalentTo  InstantMessaging that hasNetworkConnectivity value GSMConnectivity	Expected SubsumptionMatch Processed SubsumptionMatch
property hierarchy
Text_Message equivalentTo  Message that hasDataType some TextDataType	IM_Message equivalentTo  Message that hasMimeType value text/plain	Expected SubsumptionMatch Processed SubsumptionMatch