Assertion list
leg (aspect of pig ) → ReceivesAction
Results from Ascent++: 2
leg → ReceivesAction → broken 0.25
leg → ReceivesAction → buried in salt 0.25