Added ANTLR definitions