grammar LabeledExpr;

prog:   stat+ ;

stat:   expr NEWLINE                # printExpr
    |   NEWLINE                     # blank
    ;

expr:   NOT expr 		#NOT
	|	expr AND expr      # AND
    |   expr OR expr      # OR
    |   INT                         # int
    |   '(' expr ')'                # parens
    |	BOOL						#Bool
    ;

INT :   [0-9]+ ;         // match integers
NEWLINE:'\r'? '\n' ;     // return newlines to parser (is end-statement signal)
WS  :   [ \t]+ -> skip ; // toss out whitespace
NOT : 'NOT';
BOOL: 'true'|'false';
AND: 'AND';
OR: 'OR';