Assertion list
second attempt (subgroup of attempt ) → CapableOf
Results from Ascent++: 2
second attempt → CapableOf → conquer vienna 0.27
second attempt → CapableOf → fail in 1532 0.16