Task: Text to Code
Input (English): select the rows whose wins record is equal to 1 . there is only one such row in the table . the player record of this unqiue row is harold henning .
Output (English): and { only { filter_eq { all_rows ; wins ; 1 } } ; eq { hop { filter_eq { all_rows ; wins ; 1 } ; player } ; harold henning } }