Assertion list for term "cross at the traffic lights".

Results from Ascent++: 1
turn CapableOfcross at the traffic lights 0.25