<human>: Does "The Richmond area has many major institutions of higher education, including Virginia Commonwealth University (public), University of Richmond (private), Virginia Union University (private), Virginia College (private), South University - Richmond (private, for-profit), Union Theological Seminary & Presbyterian School of Christian Education (private), and the Baptist Theological Seminary in Richmond (BTSR—private)." correctly answer the question of Where is John Tyler Community College located?
OPTIONS:
- yes
- no
<bot>: no