Assertion list
paper shredder (subgroup of shredder ) → ReceivesAction
Results from Ascent++: 1
paper shredder → ReceivesAction → used to cut paper 0.77