1+ 
1 entry-label:
2 PROCEDURE
3? (
3.1+ ,
3.1 parameter
3.2 )
4? returns-option
5? OPTIONS(options)
6? RECURSIVE
7? scope-attribute
8 ;
9+ 
9 statement
9 group
9 internal-procedure
9 begin-block
10 END
11? entry-label
12 ;