I think we should create lots of examples of mapping natural language statements into predicate calculus, or some similar formal language. Then add lots of symb

I think we should create lots of examples of mapping natural language statements into predicate calculus, or some similar formal language. Then add lots of symbolic deduction statements, perhaps generate tons of them. Then train a LLM with that. Then AI should be able to handle both symbolic and "neural" reasoning?