Assertion list
lifetime (aspect of led ) → HasProperty
Results from Ascent++: 1
lifetime → HasProperty → excellent 0.31