Task: Text to Code
Input (English): select the rows whose category record is equal to 1 . there is only one such row in the table . the leader at the summit record of this unqiue row is richard virenque .
Output (English): and { only { filter_eq { all_rows ; category ; 1 } } ; eq { hop { filter_eq { all_rows ; category ; 1 } ; leader at the summit } ; richard virenque } }