Assertion list
led lamp (subgroup of lamp ) → IsA
Results from Ascent++: 1
led lamp → IsA → a solid-state lamp 0.25