Assertion list
stabilization (primary) → CapableOf
Results from Ascent++: 2
stabilization → CapableOf → begin at same time 0.25
stabilization → CapableOf → do good job 0.16