Assertion list
pipe tomahawk (subgroup of tomahawk ) → ReceivesAction
Results from Ascent++: 1
pipe tomahawk → ReceivesAction → considered useful 0.59