Task: Text to Code
Input (English): Step 1: find the District_name of district table for which Headquartered_City equals City Mall.
Step 2: For each row in store_district table, find corresponding rows in store table and in district table.
Step 3: find District_name of the results of step 2 whose Type equals Village Store.
Step 4: show the rows that are in both the results of step 1 and the results of step 3
Output (English): SELECT T1.District_name FROM district AS T1 WHERE T1.Headquartered_City = "City Mall" INTERSECT SELECT T1.District_name FROM store AS T2 JOIN district AS T1 JOIN store_district AS T3 ON T2.Store_ID = T3.Store_ID AND T3.District_ID = T1.District_ID WHERE T2.Type = "Village Store"