Assertion list for term "leave at first traffic light".

Results from Ascent++: 1
turn CapableOfleave at first traffic light 0.37