Premise: Joao Goncalves Zarco, sailing in the service of Prince Henry, made the first of many famous Portuguese discoveries, which would culminate a century later in Magellan's historic circumnavigation of the globe.

Hypothesis: Magellan traveled around the globe.
Relation: entailment