Assertion list
red led (subgroup of led ) → IsA
Results from Ascent++: 1
red led → IsA → alingap led chips 0.25