Question: How many dock stations are there in San Jose? | Do you mean the total dock counts of all stations in city San Jose? | Yes
SQL: SELECT sum ( dock_count )  FROM station WHERE city  =  "San Jose"