Formal_grammar loading ...