Assertion list
paper shredder (subgroup of shredder ) → IsA
Results from Ascent++: 1
paper shredder → IsA → mechanical device 0.40