Assertion list for term "wait for the walk signal".

Results from Ascent++: 1
pedestrian CapableOfwait for the walk signal 0.50