field Deductions superclass has part field ⇐ (superclass is subclass of class), (class has part field)