Suppose Lake Michigan is one of the five Great Lakes of North America and the only one located entirely within the United States. The lake is shared by the states of Wisconsin, Illinois, Indiana, and Michigan.
Can we infer that "Lake Michigan is the largest of the Great Lakes."? Yes, no, or maybe?