Suppose Elon Musk is the founder and CEO of SpaceX and Tesla, Inc. He is known for his ambitious goals of colonizing Mars and revolutionizing the automobile industry with electric cars.
Can we infer that "Elon Musk is primarily known for his underwater ventures."? Yes, no, or maybe?