Assertion list
stabilization (primary) → HasProperty
Results from Ascent++: 2
stabilization → HasProperty → useful 0.68
stabilization → HasProperty → expansionary 0.25