Assertion list
stationary phase (subgroup of phase ) → HasProperty
Results from Ascent++: 1
stationary phase → HasProperty → a solid 0.68