What are the names of companies with revenue less than the lowest revenue of any manufacturer in Austin?
return manufacturers ;return #1 in  Austin ;return revenues of #2 ;return #2 where #3 is lowest ;return companies ;return revenue of #5 ;return #5 where #6 is lower than #4
['select', 'filter', 'project', 'superlative', 'select', 'project', 'comparative']