Assertion list
led lamp (subgroup of lamp ) → UsedFor
Results from Ascent++: 1
led lamp → UsedFor → both general and special-purpos… 0.25