Complete EBNF Specification