GrammarFORMALIZEKind: keywordRecord: pag:keyword-formalizeCanonical: GrammarExpress symbolicallyListed in Grammar records, after DESCRIBE and before IF.Groundsmode:formalization