fruit Deductions fruit has quality class ⇐ (type is subclass of class), (fruit has quality type) fruit has quality type ⇐ (type of fruit is subclass of type), (fruit has quality type of fruit)