Assertion list
provisional ball (subgroup of ball ) → CapableOf

Results from Ascent++: 1
provisional ballCapableOf save time 0.32