Assertion list
progress (aspect of pilgrim ) → HasProperty
Results from Ascent++: 1
progress → HasProperty → slow 0.59