Assertion list
domain (aspect of function ) → CapableOf
Results from Ascent++: 1
domain → CapableOf → converge on compact subsets 0.25