What are the names and years of the movies that has the top 3 highest rating star?
return movies ;return rating stars of #1 ;return #1 where #2 is highest ;return #1 besides  #3 ;return #4 where #2 is highest ;return #4 besides  #5 ;return #6 where #2 is highest ;return #3 ,  #5 ,   #7 ;return name of #8 ;return year of #8 ;return #9 ,  #10
['select', 'project', 'superlative', 'discard', 'superlative', 'discard', 'superlative', 'union', 'project', 'project', 'union']