question: Find the names of all procedures which cost more than 1000 but which physician John Wen was not trained in?
#1 return procedures 
#2 return #1 that  cost more than  1000 
#3 return #2 that  physician John Wen is  not  trained in