ANTLR grammar definition