what is the 2nd biggest mountain the world?
return mountains ;return size of #1 ;return #1 where  #2 is highest ;return #1 besides  #3 ;return size of #4 ;return #4 where  #5 is highest
['select', 'project', 'superlative', 'discard', 'project', 'superlative']