Assertion list for term "allow controlled saturation handling".
Results from Ascent++: 1
value (aspect of variable) → CapableOf → allow controlled saturation handling 0.28