Assertion list
fetter (primary) → ReceivesAction
Results from Ascent++: 2
fetter → ReceivesAction → abandoned 0.52
fetter → ReceivesAction → cut 0.25