Assertion list
life (aspect of lamp ) → ReceivesAction
Results from Ascent++: 5
life → ReceivesAction → shortened 0.48
life → ReceivesAction → reduced 0.35
life → ReceivesAction → dependent on operating temperat… 0.33
life → ReceivesAction → extended 0.33
life → ReceivesAction → lost 0.24