Assertion list
domain (aspect of function ) → IsA
Results from Ascent++: 1
domain → IsA → the set of all functions 0.25