Assertion list
protocol (primary) → HasSubevent
Results from Ascent++: 1
protocol → HasSubevent → serious harm 0.27