Assertion list
manual stapler (subgroup of stapler ) → ReceivesAction
Results from Ascent++: 1
manual stapler → ReceivesAction → held 0.77