Lima is a city in Allen County, Ohio, United States, and its county seat. As of the 2020 census, the city had a population of 35,579. From Wikipedia
The appeals court ruled that her naming claim falls outside the scope of her arbitration agreement.