specification_grammar: Add a default value
specification_grammar: Update grammar