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 born on May 15, 1397.
Label: ENTAILMENT