Assertion list
red led (subgroup of led ) → ReceivesAction
Results from Ascent++: 3
red led → ReceivesAction → lit 0.84
red led → ReceivesAction → arranged in a direction perpend… 0.25
red led → ReceivesAction → based on aluminum gallium arsen… 0.25