How many more Texan adults were obese in 2017 compared to U.S. adults?
return Texan adults  ;return U.S. adults  ;return #1 that were obese ;return #2 that were obese ;return #3 in  2017 ;return #4 in  2017 ;return number of  #5 ;return number of  #6 ;return difference of #7 and  #8
['select', 'select', 'filter', 'filter', 'filter', 'filter', 'aggregate', 'aggregate', 'arithmetic']