Assertion list
electric traffic light (subgroup of traffic light ) → ReceivesAction
Results from Ascent++: 1
electric traffic light → ReceivesAction → installed in cleveland 0.68