Task: Text to Code
Input (English): Step 1: For each row in Trained_In table, find corresponding rows in Physician table and in Procedures table.
Step 2: find Procedures's Name of the results of step 1 whose Physician's Name equals John Wen.
Step 3: find the Procedures's Name of Procedures table for which Cost greater than 1000.
Step 4: show the rows that are in the results of step 2 but not in the results of step 3
Output (English): SELECT T2.Name FROM Physician AS T1 JOIN Procedures AS T2 JOIN Trained_In AS T3 ON T1.EmployeeID = T3.Physician AND T3.Treatment = T2.Code WHERE T1.Name = "John Wen" EXCEPT SELECT T2.Name FROM Procedures AS T2 WHERE T2.Cost > 1000