Translate the following question to SQL: What are the names of all districts with a city area greater than 10 or have more than 100000 people living there?

Schema: CREATE TABLE product (
    product_id INT   PRIMARY KEY,
    product TEXT,
    dimensions TEXT,
    dpi REAL,
    pages_per_minute_color REAL,
    max_page_size TEXT,
    interface TEXT,
    UNIQUE (product_id)
);

CREATE TABLE store (
    Store_ID INT   PRIMARY KEY,
    Store_Name TEXT,
    Type TEXT,
    Area_size REAL,
    Number_of_product_category REAL,
    Ranking INT,
    UNIQUE (Store_ID)
);

CREATE TABLE district (
    District_ID INT   PRIMARY KEY,
    District_name TEXT,
    Headquartered_City TEXT,
    City_Population REAL,
    City_Area REAL,
    UNIQUE (District_ID)
);

CREATE TABLE store_product (
    Store_ID INT   PRIMARY KEY,
    Product_ID INT   PRIMARY KEY,
    PRIMARY KEY (Store_ID, Product_ID),
    UNIQUE (Store_ID, Product_ID),
    FOREIGN KEY (Product_ID) REFERENCES product(Product_ID),
    FOREIGN KEY (Store_ID) REFERENCES store(Store_ID)
);

CREATE TABLE store_district (
    Store_ID INT   PRIMARY KEY,
    District_ID INT,
    UNIQUE (Store_ID),
    FOREIGN KEY (District_ID) REFERENCES district(District_ID),
    FOREIGN KEY (Store_ID) REFERENCES store(Store_ID)
);
user
SELECT district_name FROM district WHERE city_area  >  10 OR City_Population  >  100000
assistant