Suppose NASA's Mars helicopter Ingenuity successfully completed four test flights on the surface of Mars, making it the first aircraft to achieve powered, controlled flight on another planet. The helicopter was carried to Mars by the Perseverance rover and is part of the Mars 2020 mission.
Can we infer that "Ingenuity is a rover."? Yes, no, or maybe?