격식체: 혹시 한국의 천문대 중 가장 높은 곳에 있는 곳이 어디인지 아시나요
비격식체: 혹시 한국에 있는 천문대 중에서 가장 높은 곳에 있는 천문대는 어딘지 아니