Assertion list
white led (subgroup of led ) → HasA

Results from Ascent++: 1
white ledHasA specific wavelength 0.25