EBNF syntax 5.2