Database: geo
Question: what is the size of the capital of texas
SQL:
SELECT population FROM city WHERE city_name  =  ( SELECT capital FROM state WHERE state_name  =  "texas" );