eq { hop { argmax { all_rows ; market value ( usd million ) } ; name } ; microsoft } = true
select the row whose market value  usd million  record of all rows is maximum . the name record of this row is microsoft .