question: What is the sum of revenue from companies with headquarters in Austin?
#1 return companies 
#2 return headquarters of #1 
#3 return #1 where #2 is  in Austin 
#4 return revenue of #3 
#5 return sums of #4