Plan-of-SQLs (Ours)

Statement: mark o'meara had a score of 71 + 72 + 66 = 209

Ground-truth: TRUE

Input Table: 1988 u.s. open (golf)

Step 1: Select rows where 'player' is 'mark o'meara'.
place player country score to_par
1 curtis strange united states 70 + 67 + 69 = 206 - 7
t2 nick faldo england 72 + 67 + 68 = 207 - 6
t2 bob gilder united states 68 + 69 + 70 = 207 - 6
t2 scott simpson united states 69 + 66 + 72 = 207 - 6
t5 larry mize united states 69 + 67 + 72 = 208 - 5
t5 d a weibring united states 71 + 69 + 68 = 208 - 5
7 mark o'meara united states 71 + 72 + 66 = 209 - 4
8 fred couples united states 72 + 67 + 71 = 210 - 3
9 lanny wadkins united states 70 + 71 + 70 = 211 - 2
10 ken green united states 72 + 70 + 70 = 212 - 1
Step 2: Select rows where 'score' is '71 + 72 + 66 = 209'.
place player country score to_par
7 mark o'meara united states 71 + 72 + 66 = 209 - 4
Step 3: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.
place player country score to_par
7 mark o'meara united states 71 + 72 + 66 = 209 - 4
Final output table:
verification_result
TRUE

Prediction: TRUE

Ground-truth: TRUE