请教些Antlr的问题

EraserKing

现在一个编程语言，只要提取里面的查询部分，其它的部分忽略掉，于是就想到了用Antlr来做。
查询部分的语法是这样的（不是SQL啊！）

1. FIND FIRST table1 WHERE
   
2.    table1.field1 = value 1 AND
   
3.    table2.field2 = value 2
   
4.    NO-LOCK.

复制代码

当然左式和右式也可以是表达式，或者是一个单独的值，里面也可以用括号什么的，AND也能用OR代替，大致就是这样。

环境是Antlr 3.5.1配合Eclipse下的IDE插件，Antlrworks不知道为何跑不起来，也没多试了
下面的是我目前的代码，新手请轻喷

1. fragment DIGIT :('0'..'9');
   
2. fragment CHAR :('a'..'z'|'A'..'Z');
   
3. 
   
4. STRING: '"' ( ~('\\'|'"') )* '"';
   
5. NUMBER: ('0'..'9')+;
   
6. FLOAT: NUMBER '.' NUMBER;
   
7. BOOL: ('YES' | 'NO' | 'TRUE' | 'FALSE');
   
8. DATE: (DIGIT DIGIT '/' DIGIT DIGIT '/' DIGIT DIGIT DIGIT DIGIT);
   
9. 
   
10. ID: ('a'..'z'|'A'..'Z')(CHAR | DIGIT | '-' | '_' )* ;
    
11. FUNCTION: ('a'..'z'|'A'..'Z')(CHAR | DIGIT | '-' | '_' )* '(' ( ~(')') )* ')';
    
12. 
    
13. OPERATOR: '+' | '-' | '*' | '/';
    
14. 
    
15. COMMAND: 'FOR' | 'FIND';
    
16. POSITION: 'FIRST' | 'EACH' | 'LAST' | 'PREV';
    
17. 
    
18. COMPARE: '=' | '<' | '>' | '<=' | '>=' | 'BEGINS';
    
19. ANDOR: 'AND' | 'OR';
    
20. LOCKERROR: 'NO-LOCK' | 'EXCLUSIVE-LOCK' | 'NO-ERROR';
    
21. ENDSIGN: ':' | '.';
    
22. 
    
23. LBRACE: '(';
    
24. RBRACE: ')';
    
25. 
    
26. atom: (ID '.' ID | ID | STRING | BOOL | DATE | NUMBER | FLOAT | FUNCTION);
    
27. element: (atom|elementInBracket) (OPERATOR (atom|elementInBracket))* ;
    
28. elementInBracket: LBRACE element RBRACE;
    
29. 
    
30. sentence: ('NOT')? (element (COMPARE element)?|sentenceInBracket);
    
31. sentenceInBracket: LBRACE sentence RBRACE;
    
32. 
    
33. 
    
34. COMMENT: ('/*' .*? '*/') -> channel(HIDDEN);
    
35. WS  :   ( ' ' | '\t' | '\r' | '\n' ) -> channel(HIDDEN);

复制代码

atom对应表达式的元素
element对应表达式，因为表达式可能仅仅是一个单独的值，或者是几个值的运算结果，所以 运算符和运算符右侧 是可选的
sentence对应一个判断条件，因为可能仅仅是一个表达式，也有可能是两个表达式相比较，所以从 比较运算符右侧 也是也选的

目前主要是在脱括号这时出了问题，而且我都不太摸得着头脑。
在element这层脱括号我没发现什么问题
比如给出表达式 1+(z+(x+1))*3
得到下面的结果

或者改成(1+(z+(x+1))*3)，也没有问题

但是在sentence这里脱括号就有点让我奇怪了
比如给出这个判断条件 1+(z+(x+1))*3 = 1
没有问题，可以得结果如下


但是如果这个条件以括号开头，就死活匹配不上
比如把上面那个条件改成 (1+(z+(x+1))*3 = 1)
立马出错


NoViableAltException: line 1:0 no viable alternative at input '('

或者换用简单一点的条件，比如 NOT ("abc" = "def")
也是出错

NoViableAltException: line 1:3 no viable alternative at input '"abc"'

希望各位高手能给点建议 谢谢