expression: <leftop: exp1 'OR' exp1>
exp1: <leftop: exp2 'AND' exp2>
exp2: ('NOT')(s?) exp3
exp3: item | '(' expression ')'
item: ...