<program> ::= { <grave> } 'THIS.DIE(' ')' ';'
<grave> ::= <~ATH loop> | <bifurcation> | <death> | <import>
<~ATH loop> ::= '~ATH(' <variable> ')' '{' { <grave> } '}' <execute>
<execute> ::= 'EXECUTE(' '(' <grave> | <print> | <external file> | 'NULL' ) ')' ';'
<bifurcation> ::= 'bifurcate' <variable> '[' <variable> ',' <variable> ']' ';'
<death> ::= ( <variable> | 'THIS' ) '.DIE(' ')' ';' | '[' <variable> { ',' <variable> } ']' '.DIE(' ')' ';'
<import> ::= 'import' <type> <variable> ';'
<print> ::= 'PRINT' '"' {Printable} '"' ';'
<external file> ::= {a-Z,1-9,-,_} '.~ATH'
<variable> ::= {a-Z,1-9,_}
<type> ::= 'universe' | 'abstract' | 'library' | 'input'