what was the largest mountain before mt everest was discovered?
return mountains ;return mt everest ;return date discovered of #1 ;return date discovered of #2 ;return #1 where  #3 is lower than #4 ;return size of #5 ;return #5 where  #6 is the  largest
['select', 'select', 'project', 'project', 'comparative', 'project', 'comparative']