Assertion list
led lamp (subgroup of lamp ) → HasProperty
Results from Ascent++: 3
led lamp → HasProperty → compatible 0.50
led lamp → HasProperty → durable 0.43
led lamp → HasProperty → efficient 0.33