WolframAlpha computational knowledge AI
location of Navstar 46