Premise: 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.
Hypothesis: The town was named after King Narasimha Mamalla, who was a great wrestler. 
Label: entailment