Assertion list
comparison (primary) → HasSubevent
Results from Ascent++: 1
comparison → HasSubevent → the conclusion 0.27