Premise: 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 .
Hypothesis: Aarhus is the seat of Aarhus municipality.
Label: ENTAILMENT