Task: Text to Code
Input (English): select the rows whose nationality record does not match to ireland . the 1st maximum goals record of these rows is 138 . the name record of the row with 1st maximum goals record is johnny armstrong .
Output (English): and { eq { nth_max { filter_not_eq { all_rows ; nationality ; ireland } ; goals ; 1 } ; 138 } ; eq { hop { nth_argmax { filter_not_eq { all_rows ; nationality ; ireland } ; goals ; 1 } ; name } ; johnny armstrong } }