Assertion list for term "a number of steps".
Results from Ascent++: 1
algorithm → HasA → a number of steps 0.30