Premise: Debrecen ( [ ˈdɛbrɛt͡sɛn ] ; known by alternative names ) is the second largest city in Hungary after Budapest . Hungary . Major urban areas include Debrecen , Szeged , Miskolc , Pécs and Győr .
Hypothesis: Debrecen is the second largest city in Hungary.
Label: ENTAILMENT