Task: Text to Code
Input (English): select the rows whose launched record fuzzily matches to 1973 . among these rows , select the rows whose destination record fuzzily matches to mars . the number of such rows is 3 .
Output (English): eq { count { filter_eq { filter_eq { all_rows ; launched ; 1973 } ; destination ; mars } } ; 3 }