start = expression $ ;
-expression = expression1 !&or_op | or_expression ;
+expression = expression1 !or_op | or_expression ;
or_expression = expression1 or_op expression ;
parens_expression = '(' expression ')' ;
-expression1 = expression2 !&and_op | and_expression ;
+expression1 = expression2 !and_op | and_expression ;
-expression2 = !¬_op expression3 | not_expression ;
+expression2 = !not_op expression3 | not_expression ;
expression3 = parens_expression | name ;