Task: Text to Code
Input (English): select the row whose market value ( usd million ) record of all rows is maximum . the name record of this row is microsoft .
Output (English): eq { hop { argmax { all_rows ; market value ( usd million ) } ; name } ; microsoft }