Assertion list for term "stay red".
Results from Ascent++: 2
light → CapableOf → stay red 0.53
traffic light → CapableOf → stay red 0.52