Task: Text to Code
Input (English): the 2nd maximum revenue in usd record of all rows is 469.2 billion . the company record of the row with 2nd maximum revenue in usd record is walmart .
Output (English): and { eq { nth_max { all_rows ; revenue in usd ; 2 } ; 469.2 billion } ; eq { hop { nth_argmax { all_rows ; revenue in usd ; 2 } ; company } ; walmart } }