premise: Aarhus is the second-largest city in Denmark as of 2002.
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 .