How many years after the The death of João IV was the Battle of the Lines of Elvas?
return the  death of   João IV ;return the  Battle of   the   Lines of Elvas ;return year of   #1 ;return year of   #2 ;return difference of   #3 and  #4
['select', 'select', 'project', 'project', 'arithmetic']