Text: Those retreats within easier reach of the city the casino of the Genting Highlands or theme parks born out of former tin mines draw Malaysian families for holiday entertainment, a far cry from the more traditional parks, zoos, and aquariums.
Entailment: There are theme parks built out of former tin mines.
Contradiction: The tin mines are untouched as attractions.