"But with a mixture of Mathematica and NKS automation, and a lot of human experts, I’m happy to say that we’ve gotten a very long way.... But I’m happy to say that with a mixture of many clever algorithms and heuristics, lots of linguistic discovery and linguistic curation, and what probably amount to some serious theoretical breakthroughs, we’re actually managing to make it work."
(Ellipses covers several paragraphs in this case.)
The big stopper in some sense has not been the cleverness, but the brute force necessary, because without the brute force collection and translation, there's nothing to be clever with. I, too, am "wait and see", but this could be valuable.
"But if one’s already made knowledge computable, one doesn’t need to do that kind of natural language understanding. All one needs to be able to do is to take questions people ask in natural language, and represent them in a precise form that fits into the computations one can do."
The nlp involved is quite different from the mainstream direction.