Task: Text to Code
Input (English): the minimum place record of all rows is 1 . the player record of the row with superlative place record is trevor immelman .
Output (English): and { eq { min { all_rows ; place } ; 1 } ; eq { hop { argmin { all_rows ; place } ; player } ; trevor immelman } }