Text: 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.
Entailment: Magellan traveled around the globe.
Contradiction: The first major Portuguese discovery was made by Columbus.