Assertion list
controlled variable (subgroup of variable ) → CapableOf
Results from Ascent++: 1
controlled variable → CapableOf → remain constant 0.84