Assertion list for term "stop at red lights".
Results from Ascent++: 1
cyclist → CapableOf → stop at red lights 0.63