Modified ebnf to be parsable