What are the names of the procedures that cost more than 1000 and are procedures John Wen was trained in?
SELECT name FROM procedures WHERE cost  >  1000 INTERSECT SELECT T3.name FROM physician AS T1 JOIN trained_in AS T2 ON T1.employeeid   =   T2.physician JOIN procedures AS T3 ON T3.code   =   T2.treatment WHERE T1.name   =   "John Wen"
procedures that cost more than 1000 refers to cost > 1000; procedures John Wen was trained in involves a JOIN between physician, trained_in, and procedures tables, filtering by physician.name = 'John Wen';