subclass Deductions subclass is a role ⇐ (superclass is a role), (superclass is opposite of subclass)