Premise: Culver City High School is the main public high school of the Culver City Unified School District (CCUSD) in Culver City, California. It was opened in 1951. The school's colors are blue and silver, and the mascot is the centaur. As of 2014, its enrollment was roughly 2,000. Culver City High School is recognized as a California Distinguished School, earning the honor in 2005.
Hypothesis: in 2014, the enrollment was nearly 1000