Doc with EBNF