Assertion list
resolution (primary) → HasSubevent
Results from Ascent++: 1
resolution → HasSubevent → penalty 0.35