Assertion list
blue led (subgroup of led ) → HasProperty
Results from Ascent++: 1
blue led → HasProperty → bright 0.68