Grammar.toString()