which school district has no less than 400 schools?
(AND education.school_district (ge education.school_district.number_of_schools 400^^http://www.w3.org/2001/XMLSchema#integer))