Assertion list for term "cross on red".

Results from Ascent++: 1
pedestrian CapableOfcross on red 0.34