Suppose Elon Musk is the CEO of SpaceX, a private aerospace manufacturer and space transportation company. SpaceX was founded in 2002 with the goal of reducing space transportation costs and enabling the colonization of Mars. The company has successfully launched numerous rockets and completed missions for NASA and other organizations.
Can we infer that "SpaceX's mission is to explore Mars"? Yes, no, or maybe?