what states border texas and have a major river
SELECT state_name FROM border_info WHERE border  =  "texas" AND state_name IN ( SELECT traverse FROM river WHERE LENGTH  >  750 );
SELECT state_name FROM border_info WHERE border  =  "texas" AND state_name IN ( SELECT traverse FROM river WHERE LENGTH  >  750 );
[{'Nenhum': 'Nenhum resultado encontrado'}]