Update specification_grammar.md