Original: Jammu District is a district in Jammu and Kashmir.
Simplified: Jammu District is a district in Indian Occupied Kashmir.