ANTLR syntax