Assertion list
life (aspect of lamp ) → DefinedAs
Results from Ascent++: 1
life → DefinedAs → the operating time in hours 0.58