격식체: 한국에서 가장 고도가 높은 곳에 있는 천문대는 어디인가요
비격식체: 한국에서 제일 고도가 높은 천문대는 어디야