Assertion list
led lamp (subgroup of lamp ) → IsA

Results from Ascent++: 1
led lampIsA a solid-state lamp 0.25