Assertion list
path parameter (subgroup of parameter ) → HasProperty
Results from Ascent++: 1
path parameter → HasProperty → mandatory 0.68