Suppose NASA's Perseverance rover successfully landed on Mars in February 2021. The rover's mission is to search for signs of ancient microbial life, collect rock and soil samples for possible return to Earth, and pave the way for human exploration of Mars.
Can we infer that "The Perseverance rover is the first rover to land on Mars."? Yes, no, or maybe?