program context_var (input,output); DATABASE PERS = FILENAME 'PERSONNEL'; begin READY PERS; START_TRANSACTION READ_ONLY; FOR CS IN CURRENT_SALARY WITH CS.SALARY_AMOUNT > 40000.00 writeln (CS.EMPLOYEE_ID); END_FOR; COMMIT; FINISH; end.