Statements:

  
<statement>  		::= <basic statement>
			  | <if statement>

<basic statement>  	::= <assignment> ;
			  | <group> ;
			  | <procedure definition> ;
			  | <return statement> ;
			  | <call statement> ;
			  | <go to statement> ;
			  | <declaration statement> ;
                          | ;
			  | <label definition> <basic statement> 

<label definition>      ::= <identifier> :
 
Statements (except assignments) are initiated by a keyword, which is a reserved word in XPL, and all are terminated by a ;. All statements may be labeled. Statements are free-form, with line boundaries ignored.