Assertion list
paper shredder (subgroup of shredder ) → HasProperty
Results from Ascent++: 1
paper shredder → HasProperty → good 0.16