Suppose NASA is planning a manned mission to Mars by 2030. The space agency has been working on developing the necessary technology and infrastructure to send astronauts to the Red Planet, with the goal of establishing a human settlement.
Can we infer that "NASA has already sent astronauts to Mars"?