Assertion list
blue led (subgroup of led ) → MadeOf
Results from Ascent++: 2
blue led → MadeOf → indium gallium nitride 0.61
blue led → MadeOf → ingan 0.33