Assertion list for term "declared as optional parameter".
Results from Ascent++: 1
optional parameter (subgroup of parameter) → ReceivesAction → declared as optional parameter 0.33