Assertion list
fluorescent lamp (subgroup of lamp ) → HasProperty
Results from Ascent++: 2
fluorescent lamp → HasProperty → efficient 0.59
fluorescent lamp → HasProperty → single-ended 0.45