Task: Text to Code
Input (English): select the rows whose gold record is equal to 4 . there is only one such row in the table . the nation record of this unqiue row is south korea .
Output (English): and { only { filter_eq { all_rows ; gold ; 4 } } ; eq { hop { filter_eq { all_rows ; gold ; 4 } ; nation } ; south korea } }