parsing - JSON 文法に必要な ANTLR 構文の説明

Question

現時点では、ANTLR プロジェクト wiki から JSON ANTLR 文法を調査しています: http://www.antlr.org/wiki/display/ANTLR3/JSON+Interpreter

String  :
    '"' ( EscapeSequence | ~('\u0000'..'\u001f' | '\\' | '\"' ) )* '"'
    ;

fragment EscapeSequence
        :   '\\' (UnicodeEscape |'b'|'t'|'n'|'f'|'r'|'\"'|'\''|'\\')
        ;

私が得られないのは、なぜ彼らが否定\\し\"、String規則に違反しているのかということです? EscapeSequenceとにかくa にマッチします。

に変更しても~('\u0000'..'\u001f')、同じ意味になるはずです。

私は何が欠けていますか？