Plan-of-SQLs (Ours)


Statement: australia did not received any gold medals

Ground-truth: TRUE

Input Table: 2003 world taekwondo championships

Step 1: Select rows where 'nation' is 'australia'.
rank nation gold silver bronze total
1 south korea 8 0 2 10
2 iran 2 2 1 5
3 chinese taipei 2 0 1 3
4 united states 1 2 3 6
5 spain 1 1 3 5
6 china 1 1 1 3
7 greece 1 0 2 3
8 croatia 0 2 1 3
9 france 0 2 0 2
10 germany 0 1 2 3
11 canada 0 1 1 2
11 denmark 0 1 1 1
13 cuba 0 1 0 1
13 great britain 0 1 0 1
13 mexico 0 1 0 1
16 azerbaijan 0 0 4 4
17 thailand 0 0 2 2
18 australia 0 0 1 1
18 austria 0 0 1 1
18 belarus 0 0 1 1
18 kazakhstan 0 0 1 1
18 morocco 0 0 1 1
18 philippines 0 0 1 1
18 turkey 0 0 1 1
18 venezuela 0 0 1 1
total total 16 16 32 64

Step 2: Select rows where 'gold' is greater than 0.
rank nation gold silver bronze total
18 australia 0 0 1 1

Step 3: Use a `CASE` statement to return TRUE if the number of rows is equal to 0, otherwise return FALSE.
rank nation gold silver bronze total

Final output table:
verification_result
TRUE

Prediction: TRUE

Ground-truth: TRUE