Assertion list for term "run the red".

Results from Ascent++: 1
cyclist CapableOfrun the red 0.52