QVT — Query result syntax

The grammar defines a list of named and typed input parameters and a list of named and typed output results.
The example uses the conventional named and typed input parameters and a result type, which may be a set.
Since the latter is what an Operation does, I presume that the QVTrelational concrete syntax is in error.

Replace the content of section 7.13.1 and 7.13.2 by the new content given in Appendix A of this report. This new content is the updated grammar correcting typos and other mistakes.