Assertion list
spring (primary) → HasSubevent
Results from Ascent++: 1
spring → HasSubevent → death 0.27