Task: Text to Code
Input (English): select the row whose distance record of all rows is minimum . the city 1 record of this row is são paulo . the city 2 record of this row is rio de janeiro .
Output (English): and { eq { hop { argmin { all_rows ; distance } ; city 1 } ; são paulo } ; eq { hop { argmin { all_rows ; distance } ; city 2 } ; rio de janeiro } }