Text: Originally the town was known as Mamallapuram, named after King Narasimha Mamalla (630 668), the great wrestler, in whose reign its many extraordinary temples and shrines were begun.
Entailment: The town was named after King Narasimha Mamalla, who was a great wrestler.
Contradiction: The town was named after a famous ballet dancer.