Assertion list
rgb led (subgroup of led ) → HasA
Results from Ascent++: 2
rgb led → HasA → four leads 0.52
rgb led → HasA → 4 pins 0.43