dynamic_nonterminal(asserted).