Task: Text to Code
Input (English): select the rows whose total record is greater than 25 . there is only one such row in the table . the nation record of this unqiue row is east germany ( gdr ) .
Output (English): and { only { filter_greater { all_rows ; total ; 25 } } ; eq { hop { filter_greater { all_rows ; total ; 25 } ; nation } ; east germany ( gdr ) } }