<program> ::= <metastatement>

<metastatement> ::= <metastatement> <metastatement>
                  | <statement>

    <statement> ::= <statement> ";" <argument> "."
                  | <identifier> "."
                  | <identifier> <argument> "."

     <argument> ::= <statement>
                  | <literal>
                  | <argument> "," <argument>

      <literal> ::= ...

   <identifier> ::= ...