Assertion list
new attempt (subgroup of attempt ) → CapableOf
Results from Ascent++: 2
new attempt → CapableOf → solve the problem 0.68
new attempt → CapableOf → establish the connection 0.25