Plan-of-SQLs (Ours)

Statement: in the 1981 open championship there were eight players that tied for 9th and 2 that tied for 3

Ground-truth: FALSE

Input Table: 1981 open championship

Step 1: Select rows where 'place' is 't9'.
place player country score to_par
t1 vicente fernã¡ndez argentina 70 e
t1 nick job england 70 e
t3 isao aoki japan 71 + 1
t3 david graham australia 71 + 1
t3 tony jacklin england 71 + 1
t3 johnny miller united states 71 + 1
t3 simon owen new zealand 71 + 1
t3 hal sutton (a) united states 71 + 1
t9 howard clark england 72 + 2
t9 ben crenshaw united states 72 + 2
t9 david jagger england 72 + 2
t9 mark james england 72 + 2
t9 greg norman australia 72 + 2
t9 arnold palmer united states 72 + 2
t9 bill rogers united states 72 + 2
t9 sam torrance scotland 72 + 2
Step 2: Use a `CASE` statement to return TRUE if the number of rows is equal to 8, otherwise return FALSE.
place player country score to_par
t9 howard clark england 72 + 2
t9 ben crenshaw united states 72 + 2
t9 david jagger england 72 + 2
t9 mark james england 72 + 2
t9 greg norman australia 72 + 2
t9 arnold palmer united states 72 + 2
t9 bill rogers united states 72 + 2
t9 sam torrance scotland 72 + 2
Final output table:
verification_result
TRUE

Prediction: TRUE

Ground-truth: FALSE