Assertion list for term "cycle through red".

Results from Ascent++: 1
traffic light CapableOfcycle through red 0.25