(Program
{+(SymbolLiteral)+}
{ (SymbolLiteral)
->(SymbolLiteral) }
{ (SymbolLiteral)
->(SymbolLiteral) }
{-(SymbolLiteral)-})