Assertion list
body (aspect of zombie ) → ReceivesAction

Results from Ascent++: 2
bodyReceivesAction buried 0.68
bodyReceivesAction burned 0.40