How many fewer men could Timoji provide than the number of men the king of Honavar proposed to send 15,000 by land?
return Timoji ;return men  could provide of #1 ;return number of  #2 ;return the  king of Honavar ;return men  proposed to send by land of #4 ;return number of  #5 ;return the  difference of #3 and  #6
['select', 'project', 'aggregate', 'select', 'project', 'aggregate', 'arithmetic']