Assertion list
actual parameter (subgroup of parameter ) → CapableOf
Results from Ascent++: 2
actual parameter → CapableOf → correspond to in out formal par… 0.25
actual parameter → CapableOf → depend upon specific application 0.16