Input (grade 7): Pleasant Grove is in Jefferson County.
Output (grade 8): Pleasant Grove is a city in Jefferson County, Alabama, United States.