Assertion list
output (aspect of function ) → HasA
Results from Ascent++: 4
output → HasA → lexical format 0.41
output → HasA → same length 0.29
output → HasA → same number of dimensions 0.25
output → HasA → the form 0.25