Premise: The great navigator's remains were returned to Portugal in 1538 but his tombstone can still be seen on the south side of the church, set in the floor with a brass rail.

Hypothesis: The grave no longer houses the navigator's remains, but his tombstone still stands. 
Relation: entailment