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