human
Schema:
state (state_name, population, area, country_name, capital, density)
city (city_name, population, country_name, state_name)
border_info (state_name, border)
highlow (state_name, highest_elevation, lowest_point, highest_point, lowest_elevation)
lake (lake_name, area, country_name, state_name)
mountain (mountain_name, mountain_altitude, country_name, state_name)
river (river_name, length, country_name, traverse)
Please answer with SQL.
assistant
Sure, I understand.
human
what states border texas and have a major river
assistant
SELECT state_name FROM border_info WHERE border = 'texas' AND state_name IN ( SELECT traverse FROM river WHERE LENGTH > 750 );
human
what is the length of the colorado river in texas
assistant
SELECT LENGTH FROM river WHERE river_name = 'colorado' AND traverse = 'texas';
human
what is the shortest river in texas
assistant
SELECT river_name FROM river WHERE LENGTH = ( SELECT MIN ( LENGTH ) FROM river WHERE traverse = 'texas' ) AND traverse = 'texas';
human
how long is the longest river in texas
assistant
SELECT LENGTH FROM river WHERE LENGTH = ( SELECT MAX ( LENGTH ) FROM river WHERE traverse = 'texas' ) AND traverse = 'texas';
human
through which states does the longest river in texas run
assistant
SELECT traverse FROM river WHERE LENGTH = ( SELECT MAX ( LENGTH ) FROM river WHERE traverse = 'texas' );
human
what is the longest river that flows through texas
assistant
SELECT river_name FROM river WHERE LENGTH = ( SELECT MAX( LENGTH ) FROM river WHERE traverse = "texas" ) AND traverse = "texas" ;