Assertion list
optional parameter (subgroup of parameter ) → HasA
Results from Ascent++: 1
optional parameter → HasA → a default value 0.33