query: SELECT StuID FROM Sportsinfo GROUP BY StuID HAVING sum(hoursperweek)  >  10
question: What are the student IDs for everybody who worked for more than 10 hours per week on all sports?
query_toks: SELECT StuID FROM Sportsinfo GROUP BY StuID HAVING sum ( hoursperweek ) > 10
query_toks_no_value: select stuid from sportsinfo group by stuid having sum ( hoursperweek ) > value
question_toks: What are the student IDs for everybody who worked for more than 10 hours per week on all sports?