Suppose Laika was a Soviet space dog who became one of the first animals in space, and the first animal to orbit the Earth. Laika's journey paved the way for human spaceflight and expanded our understanding of the effects of space travel on living organisms.
Can we infer that "Laika was a cat that traveled to space."? Yes, no, or maybe?