Assertion list
led light bulb (subgroup of light bulb ) → HasProperty
Results from Ascent++: 1
led light bulb → HasProperty → efficient 0.16