updates to EBNF file