Assertion list
delivery attempt (subgroup of attempt ) → ReceivesAction
Results from Ascent++: 1
delivery attempt → ReceivesAction → made 0.52