Assertion list
argument (aspect of function ) → IsA
Results from Ascent++: 2
argument → IsA → variable 0.56
argument → IsA → simple variables 0.25