Original: As of the 2000 census, the city population was 3,734.
Simplified: Lancaster is a city of Kentucky in the United States.