It's not enough to say "Oh, we should add a rule that 'without' means negate the next word" because that only applies to this one situation, in this one languag

It's not enough to say "Oh, we should add a rule that 'without' means negate the next word" because that only applies to this one situation, in this one language. Let's generalize the problem: We aren't correctly translating from English (or other spoken languages) to Computer/Logic. The state of the art in machine translation (from what I've read at least) is translating from language-A to a language-less "concept space" and then from there to language-B. Could that be done where the output language is something a search engine can use to find what you want correctly? Given that pattern, I suspect we could see much better results in cases like this.