GrammarFINALIZEKind: keywordRecord: pag:keyword-finalizeCanonical: GrammarCompletionListed in Grammar records, after PROPAGATE and before REDUCE.Groundsnode:ter-completion