Assertion list
phase (primary) → HasSubevent
Results from Ascent++: 1
phase → HasSubevent → contractorsfinal estimate of pr… 0.25