Assertion list
intersection (primary) → ReceivesAction
Results from Ascent++: 23
intersection → ReceivesAction → controlled by traffic signals 0.63
intersection → ReceivesAction → controlled by traffic lights 0.48
intersection → ReceivesAction → designed 0.48
intersection → ReceivesAction → identified 0.48
intersection → ReceivesAction → marked 0.48
intersection → ReceivesAction → entered without interference 0.47
intersection → ReceivesAction → controlled by a stop sign 0.47
intersection → ReceivesAction → changed 0.43
intersection → ReceivesAction → signalized 0.41
intersection → ReceivesAction → cleared 0.38
intersection → ReceivesAction → closed 0.36
intersection → ReceivesAction → clear of pedestrian 0.34
intersection → ReceivesAction → approached 0.29
intersection → ReceivesAction → controlled by a traffic control… 0.29
intersection → ReceivesAction → controlled by portable stop sig… 0.25
intersection → ReceivesAction → described in the schedule of tr… 0.25
intersection → ReceivesAction → opened 0.25
intersection → ReceivesAction → planned 0.25
intersection → ReceivesAction → reconstructed 0.25
intersection → ReceivesAction → recorded at step 124 of the pro… 0.25
intersection → ReceivesAction → requested by the client 0.25
intersection → ReceivesAction → upgraded 0.25
intersection → ReceivesAction → fixed 0.16