More EBNF, still not working!