Task: Text to Code
Input (English): find District_name of district table whose City_Area greater than 10 or Headquartered_City equals Attock City
Output (English): SELECT District_name FROM district WHERE City_Area > 10 OR Headquartered_City = "Attock City"