Assertion list
optional parameter (subgroup of parameter ) → HasProperty
Results from Ascent++: 1
optional parameter → HasProperty → true 0.37