Assertion list for term "run segment".

Results from Ascent++: 1
fox CapableOfrun segment 0.28