Premise: The Ravenswood City School District is a public school district headquartered in East Palo Alto, California, US. The district, in the San Francisco Bay Area, serves the communities of East Palo Alto and eastern Menlo Park. Students from this school district who continue on with public schooling matriculate to the Sequoia Union High School District. In 2008-09 it served over 4,500 students.
Hypothesis: 4,500 students matriculated through the Ravenswood School District in 2008-09.