Premise: Sejong the Great ( [ se.dʑoŋ ] ; 15 May 1397 - 8 April 1450 ) was the fourth king of Joseon-dynasty Korea .
Hypothesis: Sejong the Great was a Korean king.
Label: ENTAILMENT