Assertion list
body (aspect of leopard ) → ReceivesAction
Results from Ascent++: 1
body → ReceivesAction → destroyed 0.68