Task: Text to Code
Input (English): select the rows whose capacity record is equal to 15042 . there is only one such row in the table . the home venue record of this unqiue row is sangju civic stadium .
Output (English): and { only { filter_eq { all_rows ; capacity ; 15042 } } ; eq { hop { filter_eq { all_rows ; capacity ; 15042 } ; home venue } ; sangju civic stadium } }