Text: Just beyond the city now are several theme parks built out of the remains of the gorges created from tin mining.
Entailment: There are several themeparks built out of the tin mines.
Contradiction: The tin mines have no use anymore.