Assertion list
life (aspect of crane ) → HasProperty
Results from Ascent++: 3
life → HasProperty → short 0.40
life → HasProperty → simpler 0.40
life → HasProperty → simple 0.25