Assertion list
green led (subgroup of led ) → IsA
Results from Ascent++: 1
green led → IsA → brighter than green leds 0.23