Assertion list
value (aspect of limit ) → HasA
Results from Ascent++: 3
value → HasA → risk acceptance 0.41
value → HasA → signoff 0.41
value → HasA → the expression 0.29