$$ Statement ::= Assert-Statement | Assignment $$ | Choose-Statement | Define-Statement $$ | Error-Statement | Fail-Statement | Foreach-Statement $$ | If-Statement | Parallel-Statement | Repeat-Statement $$ | Require-Statement | Result-Statement | Return-Statement .
A rule body contains a sequence of statements.
The statements are the assignment and the statements beginning with assert, choose, define, error, fail, foreach, if, parallel, repeat, require, result, and return.