Assertion list for term "correspond to in out formal parameter".
Results from Ascent++: 1
actual parameter (subgroup of parameter) → CapableOf → correspond to in out formal parameter 0.25