Assertion list
leg (aspect of wolf ) → ReceivesAction
Results from Ascent++: 2
leg → ReceivesAction → broken 0.30
leg → ReceivesAction → amputated 0.16