Assertion list
previous attempt (subgroup of attempt ) → HasProperty
Results from Ascent++: 1
previous attempt → HasProperty → unsuccessful 0.59