Assertion list
green led (subgroup of led ) → HasProperty
Results from Ascent++: 3
green led → HasProperty → more efficient 0.36
green led → HasProperty → operational 0.32
green led → HasProperty → steady 0.25