The Title Statement has the following BNF syntax:
<title statement> ::= TITLE <string>;
- PLDWorld -