Assertion list
second attempt (subgroup of attempt ) → IsA
Results from Ascent++: 1
second attempt → IsA → weight 0.25