<task area> ::=
<task symbol> contains <task body>
<task body> ::=
{<assignment statement>{,<assignment statement>}*}
| {<informal text> {,<informal text>}*}
The interpretation of a Task-node is the interpretation of the Assignment-statement or the interpretation of the Informal-text.
A <task body> may contain several <assignment statement>s or <informal text>. In that case it is derived syntax for specifying a sequence of <task>s, one for each <assignment statement> or <informal text> such that the original order in which they were specified in the <task body> is retained.
This shorthand is expanded before shorthands in the contained expressions are expanded.