Suppose Elon Musk is the CEO of SpaceX and Tesla, Inc. He is known for his ambitious goals of colonizing Mars and transitioning the world to sustainable energy.
Can we infer that "Elon Musk is a former astronaut who has been to Mars."?