Find the names of all procedures which cost more than 1000 but which physician John Wen was not trained in?
return procedures ;return #1 that  cost more than  1000 ;return #2 that  physician John Wen is  not  trained in
['select', 'filter', 'filter']