Assertion list
second attempt (subgroup of attempt ) → HasProperty
Results from Ascent++: 2
second attempt → HasProperty → successful 0.66
second attempt → HasProperty → unsuccessful 0.44