Assertion list
error correction (subgroup of correction ) → HasProperty
Results from Ascent++: 1
error correction → HasProperty → necessary 0.68