ebnf.txt : Refactored