Instruct: Given a premise, retrieve hypotheses that are entailed by the premise.
Query: Huntsville City Schools is the school district serving Huntsville, Alabama. As of the 2016–17 school year, the system had 24,083 students and employed 1,697 teachers. The district oversees 37 schools: 20 elementary schools, 5 middle schools, 6 PreK-8 schools, 6 high schools.
As of the 2016–17 school year, the system had over 23,000 students.
Alabama has more high schools than elementary schools.
Gwinnett County Public Schools has kids.
Lubbock High School has a lot of students
Hillcrest School District serves portions of multiple counties.
Erie has at least one public high school.
Hillcrest School District is in the United States
Huntsville City has 4023 school buses.
District 202 has over 2 high schools
The City School District is for students younger than those in the High School District.
Alabama has over 3,000 teachers.
Armour High School has teachers.
The Ravenswood City School District serves the Houston area 
Lubbock High School has a great array of diverse courses
There are two high schools in the Greenbrier School District.
There are four distinct grades that are taught at Lubbock High School.
The high school is a public school.
Gwinnett County Public Schools has teachers.
LSHS has a sister school in the district
Something had been received by various schools
Huntsville is in the middle of Alabama.
PGCPS has grade schools.
Huntsville City Schools is the district for Atlanta, Georgia.
The system had 26,000 students by 2019.
The system had 26,083 students by 2018.