premise: Aarhus is the second-largest city in Denmark.
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 . As the industrial revolution took hold , the city grew to become the second-largest in the country by the 20th century .