Suppose NASA's Mars rover Curiosity is exploring the Gale Crater on Mars, collecting data on the geology and climate of the planet. The rover has been operating since 2012 and has made numerous discoveries about the past habitability of Mars.
Can we infer that "Curiosity is a rover exploring Saturn's rings."?