(Statements {+(SymbolElement)+} { (SymbolElement) ->(SymbolElement) } { (SymbolElement) ->(SymbolElement) } {-(SymbolElement)-})