Suppose In 2003, NASA launched the Mars Exploration Rover Mission, sending two robotic vehicles, Spirit and Opportunity, to explore the surface of Mars.
Can we infer that "NASA sent a manned mission to Mars in 2003."?