Assertion list
positional parameter (subgroup of parameter ) → IsA
Results from Ascent++: 1
positional parameter → IsA → parameter 0.68