Task: Text to Code
Input (English): select the rows whose top division titles record is equal to 1 . there is only one such row in the table . the team record of this unqiue row is deportivo coopsol .
Output (English): and { only { filter_eq { all_rows ; top division titles ; 1 } } ; eq { hop { filter_eq { all_rows ; top division titles ; 1 } ; team } ; deportivo coopsol } }