Assertion list for term "overtake each other".

Results from Ascent++: 2
cyclist CapableOfovertake each other 0.39
bus CapableOfovertake each other 0.37