Assertion list
argument (primary) → IsA
Results from Ascent++: 2
argument → IsA → variable 0.61
argument → IsA → variable name 0.41