Assertion list
green led (subgroup of led ) → ReceivesAction
Results from Ascent++: 3
green led → ReceivesAction → lit 0.68
green led → ReceivesAction → produced with non-nitride mater… 0.23
green led → ReceivesAction → combined in one package 0.16