Detial EBNF