Assertion list for term "cross at same time".
Results from Ascent++: 2
cyclist → CapableOf → cross at same time 0.37
pedestrian → CapableOf → cross at same time 0.35