Assertion list
traffic light (primary) → CapableOf
Results from Ascent++: 39
traffic light → CapableOf → turn red 0.72
traffic light → CapableOf → stay green 0.58
traffic light → CapableOf → change to green 0.56
traffic light → CapableOf → stay red 0.52
traffic light → CapableOf → take left turn 0.48
traffic light → CapableOf → control traffic 0.46
traffic light → CapableOf → flash red 0.41
traffic light → CapableOf → stop light 0.41
traffic light → CapableOf → give priority 0.41
traffic light → CapableOf → improve safety 0.40
traffic light → CapableOf → follow sign 0.37
traffic light → CapableOf → keep traffic 0.37
traffic light → CapableOf → stay yellow 0.34
traffic light → CapableOf → communicate with vehicle 0.32
traffic light → CapableOf → ease congestion 0.32
traffic light → CapableOf → switch to red 0.32
traffic light → CapableOf → turn onto union street 0.32
traffic light → CapableOf → stop sign 0.30
traffic light → CapableOf → cross the street 0.28
traffic light → CapableOf → stop robot 0.28
traffic light → CapableOf → use sensor 0.28
traffic light → CapableOf → improve traffic flow 0.27
traffic light → CapableOf → go dark 0.26
traffic light → CapableOf → change color 0.25
traffic light → CapableOf → continue for 5 blocks 0.25
traffic light → CapableOf → cycle through red 0.25
traffic light → CapableOf → keep pedestrian 0.25
traffic light → CapableOf → pass m&s food hall 0.25
traffic light → CapableOf → receive signal 0.25
traffic light → CapableOf → show the captain 0.25
traffic light → CapableOf → stop semaphore 0.25
traffic light → CapableOf → synchronization issue 0.25
traffic light → CapableOf → turn onto greenbrook rd 0.25
traffic light → CapableOf → turn onto seaport blvd 0.25
traffic light → CapableOf → pump at fuel stations 0.25
traffic light → CapableOf → stand idle 0.25
traffic light → CapableOf → prioritise ambulance 0.19
traffic light → CapableOf → prioritise bus 0.19
traffic light → CapableOf → prioritise cyclist 0.19