Assertion list
controlled variable (subgroup of variable ) → IsA
Results from Ascent++: 1
controlled variable → IsA → variable 0.68