Suppose NASA's Mars Perseverance Rover successfully landed on Mars on February 18, 2021, with the mission to explore the planet's surface and search for signs of past microbial life.
Can we infer that "The Mars Perseverance Rover is the first rover to land on Mars."? Yes, no, or maybe?