What are the first name and last name of the players who were paid salary by team Washington Nationals in both 2005 and 2007?
return team Washington Nationals ;return players who  were paid by #1 ;return #2 in  2005 ;return #2 in  2007 ;return #2 of both #3 and  #4 ;return first name  of #5 ;return last name  of #5 ;return #6 ,  #7
['select', 'project', 'filter', 'filter', 'intersection', 'project', 'project', 'union']