<span class="hljs-attribute">a_production</span> = nonterminal ;