Task: Text to Code
Input (English): select the row whose first elected record of all rows is 1st minimum . the district record of this row is texas 1 .
Output (English): eq { hop { nth_argmin { all_rows ; first elected ; 1 } ; district } ; texas 1 }