UML14 — Q re Parameter

There appears to be an inconsistency in the specification as to what it
means to be a formal parameter or a return result. Please choose between the
following two interpretations:

A. A return result is a parameter that is specially indicated to be the
return result. All other parameters are formal parameters.

B. A return result is any parameter with direction return, out, or inout. A
formal parameter is any parameter with direction in or inout.

You could view (A) as focusing on the syntactical role the parameters play,
while (B) focuses on when they communicate data.

The difficulty arises from that the infrastructure and the superstructure
have differing machineries of dealing with parameters.

This is a duplicate of issue 7344