Assertion list for term "stop at traffic lights".

Results from Ascent++: 1
tram CapableOfstop at traffic lights 0.16