Assertion list
pun (primary) → ReceivesAction
Results from Ascent++: 2
pun → ReceivesAction → remembered 0.44
pun → ReceivesAction → lost in translation 0.23