Assertion list
progress (aspect of pilgrim ) → ReceivesAction

Results from Ascent++: 1
progressReceivesAction made 0.09