Original: Lahore District is a district in the Punjab province of Pakistan , that contains the city of Lahore - the district and provincial capital .
Simplified: Lahore District is a district in the Punjab province of Pakistan .