@rocketraman interesting, yes I explored that avenue. So here’s one of the things I found in that direction: 99%+ of Lexing/Parsing coding/examples/writing is about compilers and the ruthless obsession with performance means all the things you think would help in the case of reasoning (intermediate representations, delegates/strategies, etc.) would NEVER appear because they would slow compilation down. Of course, for knowledge extraction, such concerns are absurd. I do believe intermediate representations are a good idea. It’s also a fascinating problem because you have to look at how much intelligence you put into lexing v. parsing. The typical rule: that the lexer focuses just on finding symbols, without reference to context, is a good starting point. I started working ontology into my approach to this problem, at this point…