which star has a radius larger than all others?
(ARGMAX astronomy.star astronomy.star.radius)