--> MAX --> value-expr --> OF --> rse --> Find the highest paid employee in the company: START_TRANSACTION READ_ONLY FOR SAL IN CURRENT_SALARY WITH SAL.SALARY_AMOUNT = MAX CURR.SALARY_AMOUNT OF CURR IN CURRENT_SALARY PRINT SAL.EMPLOYEE_ID, SAL.LAST_NAME, SAL.SALARY_AMOUNT END_FOR COMMIT