Assertion list
negative beta (subgroup of beta ) → HasProperty
Results from Ascent++: 1
negative beta → HasProperty → possible 0.68