Assertion list
straddle (primary) → HasSubevent
Results from Ascent++: 1
straddle → HasSubevent → loss 0.16