During the Cold War how many Navy and Marine personnel and civilians worked at the base?
return the  base ;return Navy and  Marine personnel of #1 ;return civilians of #1 ;return #2 During the  Cold War ;return #3 During the  Cold War ;return number of  #4 ;return number of  #5 ;return sum of #6 and  #7
['select', 'project', 'project', 'filter', 'filter', 'aggregate', 'aggregate', 'arithmetic']