Ben B (EBNF)