Assertion list
traffic light (primary) → HasProperty
Results from Ascent++: 8
traffic light → HasProperty → green 0.83
traffic light → HasProperty → red 0.80
traffic light → HasProperty → yellow 0.60
traffic light → HasProperty → amber 0.49
traffic light → HasProperty → slow 0.34
traffic light → HasProperty → blue 0.30
traffic light → HasProperty → essential 0.30
traffic light → HasProperty → defective 0.19