On specialized and formalized domains like this it might lead to something interesting. That said there's a tension with the fact that it doesn't know when it doesn't know which might be problematic. Also I wonder how it fares compared to computational models like WolframAlpha. In the end very formal domains like this have large knowledge bases already available.