Suppose The Big Dipper is an asterism in the constellation Ursa Major (the Great Bear). It is one of the most recognizable patterns in the northern sky and has been used for navigation by various cultures for centuries.
Can we infer that "The Big Dipper is a constellation"? Yes, no, or maybe?