Assertion list
progress (aspect of pilgrim ) → ReceivesAction
Results from Ascent++: 1
progress → ReceivesAction → made 0.09