Premise: In 1978, the Polish Cardinal and Archbishop of Krakew Karol Wojtyla was elected Pope; he took the name John Paul II.

Hypothesis: Pope John Paul II was originally named Karol Wojtyla.
Relation: entailment