['entailment']
The official, Indianized name of this town is Tiruchchirappalli, Cityof the Sacred Rock, but the place is still identified by its colonial name, Trichy, a short form of the equally European name Trichinopoly.
השם הרשמי, ההודי, של העיר הזו הוא טירוצ'ירפלי, עיר הסלע הקדוש, אבל המקום עדיין מזוהה בשם הקולוניאלי שלו, טריצ'י, צורה מקוצרת של השם האירופאי טריצ'ינופולי.
This town commonly goes by its European name, Trichy.
עיר זו נקראת בדרך כלל בשמה האירופי, טריצ'י.