book industry Deductions group is for example book industry ⇐ (book industry is a group), (is a is inverse of is for example) book industry is a group ⇐ (industry is subclass of group), (book industry is a industry) industry is for example book industry ⇐ (book industry is a industry), (is a is inverse of is for example)