of all the astronomers, who is the tallest?
(ARGMAX astronomy.astronomer people.person.height_meters)