Plan-of-SQLs (Ours)


Statement: gene borek who played at t6 with a score of 73 + 69 = 142 belong to the united states

Ground-truth: FALSE

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

Step 1: Select rows where 'player' is 'gene borek'.
place player country score to_par
1 gary player south africa 67 + 70 = 137 - 5
2 jim colbert united states 70 + 68 = 138 - 4
t3 jack nicklaus united states 71 + 69 = 140 - 2
t3 johnny miller united states 71 + 69 = 140 - 2
t3 bob charles new zealand 71 + 69 = 140 - 2
t6 gene borek united states 77 + 65 = 142 e
t6 julius boros united states 73 + 69 = 142 e
t6 tom weiskopf united states 73 + 69 = 142 e
t6 arnold palmer united states 71 + 71 = 142 e
t6 lee trevino united states 70 + 72 = 142 e

Step 2: Select rows where 'score' is '73 + 69 = 142'.
place player country score to_par
t6 gene borek united states 77 + 65 = 142 e

Step 3: Select rows where 'country' is 'united states'.
place player country score to_par

Step 4: 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

Final output table:
verification_result
FALSE

Prediction: FALSE

Ground-truth: FALSE