Assertion list
life (aspect of monkey ) → ReceivesAction
Results from Ascent++: 3
life → ReceivesAction → lost 0.55
life → ReceivesAction → spared 0.25
life → ReceivesAction → saved 0.16