Assertion list
life (aspect of lamp ) → HasProperty
Results from Ascent++: 3
life → HasProperty → short 0.55
life → HasProperty → easy 0.24
life → HasProperty → easier 0.16