g/g.ebnf: g-7.ebnf