Suppose The pyramids of Giza consist of the Great Pyramid of Giza, the slightly smaller Pyramid of Khafre a few hundred meters to the southwest, and the relatively modest-sized Pyramid of Menkaure a few hundred meters further southwest.
Can we infer that "The Pyramid of Khafre is larger than the Pyramid of Menkaure."?