city in Utah County, Utah, United States
Pleasant Grove, originally named Battle Creek, is a city in Utah County, Utah, United States, known as "Utah's City of Trees". It is part of the Provo–Orem Metropolitan Statistical Area. The population was 39,604 as of April of 2025.
History
via Wikipedia infobox
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).