The EBNF * symbol works. The rest needs testing.