Assertion list
electric traffic light (subgroup of traffic light ) → CapableOf

Results from Ascent++: 1
electric traffic lightCapableOf use red and green lights 0.25