premise: Aarhus is separate from the Aarhus municipality.
hypothesis: Aarhus ( [ ˈɒːhuːˀs ] ; officially spelled Århus from 1948 until 31 December 2010 ) is the second-largest city in Denmark and the seat of Aarhus municipality .