Assertion list for term "cross on green light".

Results from Ascent++: 1
pedestrian CapableOfcross on green light 0.46