Assertion list
region (primary) → HasSubevent
Results from Ascent++: 1
region → HasSubevent → increasing demand 0.45