Database: geo
Question: how long is the rio grande river in miles
SQL:
SELECT LENGTH FROM river WHERE river_name  =  "rio grande";