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