Assertion list
body (aspect of alligator ) → ReceivesAction
Results from Ascent++: 2
body → ReceivesAction → recovered 0.68
body → ReceivesAction → found intact 0.56