What are the employee ids, full names, and job ids for employees who make more than the highest earning employee with title PU_MAN?
return employees ;return #1 with  title PU_MAN ;return earning of #2 ;return highest of #3 ;return earning of #1 ;return #1 where #5 higher than #4 ;return employee ids of #6 ;return full names of #6 ;return job ids of #6 ;return #7 ,  #8 ,   #9
['select', 'filter', 'project', 'aggregate', 'project', 'comparative', 'project', 'project', 'project', 'union']