Assertion list
color led (subgroup of led ) → HasProperty
Results from Ascent++: 2
color led → HasProperty → green 0.68
color led → HasProperty → red 0.68