Assertion list
life (aspect of gray ) → HasProperty
Results from Ascent++: 3
life → HasProperty → good 0.48
life → HasProperty → short 0.48
life → HasProperty → poor 0.16