Text: In the church, a stone slab marks his tomb, empty since his remains were transported to Goa in India.
Entailment: His remains were transported to Goa in India.
Contradiction: His remains can be seen in the church.