Assertion list
life (aspect of mayfly ) → HasProperty
Results from Ascent++: 1
life → HasProperty → short 0.68