Assertion list
life (aspect of beaver ) → ReceivesAction
Results from Ascent++: 1
life → ReceivesAction → spared 0.59