Database: geo
Question: what are the lakes in states bordering texas
SQL:
SELECT lake_name FROM lake WHERE state_name IN ( SELECT border FROM border_info WHERE state_name  =  "texas" );