Assertion list
sheep (primary) → HasSubevent

Results from Ascent++: 1
sheepHasSubevent the slaughter 0.29