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.