is an instruction in the Genstat language; it has the form
statement-name [option-sequence] parameter-sequence terminator
If no option settings are given, the square brackets can be omitted. The terminator is colon (:), ampersand (&) or newline (unless directive SET has indicated that this is to be ignored).