격식체: 한국에 있는 천문대 중 가장 높은 곳에 있는 것은 어디인가요
비격식체: 한국에 있는 천문대 중 가장 높은 곳에 있는 천문대는 어디야