Assertion list for term "run in mixed traffic".

Results from Ascent++: 1
bus CapableOfrun in mixed traffic 0.40