Assertion list
weak base (subgroup of base ) → HasProperty
Results from Ascent++: 1
weak base → HasProperty → preferable 0.68