Assertion list for term "obey all traffic signals".

Results from Ascent++: 1
pedestrian CapableOfobey all traffic signals 0.30