Assertion list
low level (subgroup of level ) → HasProperty
Results from Ascent++: 1
low level → HasProperty → safe 0.68