Assertion list
life (aspect of shrimp ) → HasProperty
Results from Ascent++: 2
life → HasProperty → short 0.68
life → HasProperty → good 0.40