Assertion list for term "go to first traffic light".

Results from Ascent++: 1
turn CapableOfgo to first traffic light 0.25