How many more men were with Poland and Saxony than with Denmark?
return men ;return #1 that were with Poland ;return #1 that were with Saxony ;return #1 that were with Denmark ;return #2 ,  #3 ;return number of  #5 ;return number of  #4 ;return difference of #6 and  #7
['select', 'filter', 'filter', 'filter', 'union', 'aggregate', 'aggregate', 'arithmetic']