After #1 KnownFormulas contains all formula prefixes and partial formula productions to allow to use SimpleReator. It it possible to cut the huge amount of formula prefixes and replace with a list of valid formulas. This requires special FormulaReactor and an update of KnownFormulas generator.
After #1
KnownFormulascontains all formula prefixes and partial formula productions to allow to useSimpleReator. It it possible to cut the huge amount of formula prefixes and replace with a list of valid formulas. This requires specialFormulaReactorand an update ofKnownFormulasgenerator.