Agra (English, name)
expansion: Agra
Senses:
glosses: A large city, district, and division of Uttar Pradesh, India.
Forms: