Adding ebnf description