Suppose The Great Pyramid of Giza, built for Pharaoh Khufu, is the oldest and largest of the three pyramids in Giza. It is the only one of the Seven Wonders of the Ancient World that remains largely intact.
Can we infer that "The Great Pyramid of Giza is the smallest pyramid in Giza"? Yes, no, or maybe?