Suppose NASA's Perseverance rover successfully lands on Mars on February 18, 2021, to search for signs of ancient life and collect samples for future return to Earth. The mission is part of NASA's Mars Exploration Program.
Can we infer that "NASA's Perseverance rover is exploring Venus"? Yes, no, or maybe?