Plan-of-SQLs (Ours)


Statement: aldershot town was the opponent when bradford city scored their highest point total

Ground-truth: TRUE

Input Table: 2008 - 09 bradford city a.f.c. season

Step 1: Select rows where 'result' contains the highest point total for Bradford City.
game date opponent venue result attendance
1 2008-08-09 notts county home 2 - 1 14038
2 2008-08-16 macclesfield town away 2 - 0 2556
3 2008-08-23 rochdale home 2 - 0 13154
4 2008-08-30 aldershot town away 2 - 3 3805
5 2008-09-06 port vale away 2 - 0 7273
6 2008-09-13 exeter city home 4 - 1 12683
7 2008-09-20 bournemouth home 1 - 3 12824
8 2008-09-27 shrewsbury town away 0 - 2 6517
9 2008-10-04 luton town home 1 - 1 13083
10 2008-10-11 accrington stanley away 3 - 2 3012
11 2008-10-18 gillingham home 2 - 2 12432
12 2008-10-21 darlington away 1 - 2 3034
13 2008-10-24 grimsby town away 3 - 1 4470
14 2008-10-28 bury home 1 - 0 12830
15 2008-11-01 barnet home 3 - 3 12510
16 2008-11-15 wycombe wanderers away 0 - 1 5002
17 2008-11-22 rotherham united away 2 - 0 4586
18 2008-11-25 chesterfield home 3 - 2 12145
19 2008-12-06 dagenham & redbridge home 1 - 1 12145
20 2008-12-13 brentford away 1 - 2 4339
21 2008-12-20 chester city home 0 - 0 12092
22 2008-12-26 lincoln city away 0 - 0 6156
23 2008-12-28 morecambe home 4 - 0 13105
24 2009-01-03 shrewsbury town home 0 - 0 12877
25 2009-01-17 accrington stanley home 1 - 1 12172
26 2009-01-24 luton town away 3 - 3 6053
27 2009-01-27 bury away 0 - 1 4112
28 2009-01-31 grimsby town home 2 - 0 12816
29 2009-02-07 gillingham away 2 - 0 4866
30 2009-02-14 wycombe wanderers home 1 - 0 12689
31 2009-02-17 darlington home 0 - 0 12782
32 2009-02-21 barnet away 1 - 4 2445
33 2009-02-28 notts county away 1 - 3 5138
34 2009-03-01 macclesfield town home 1 - 0 11908
35 2009-03-07 aldershot town home 5 - 0 12465
36 2009-03-10 rochdale away 0 - 3 5157
37 2009-03-14 exeter city away 0 - 1 5253
38 2009-03-17 bournemouth away 1 - 4 4847
39 2009-03-21 port vale home 0 - 1 12436
40 2009-03-28 chester city away 0 - 0 2735
41 2009-04-04 brentford home 1 - 1 12832
42 2009-04-10 morecambe away 1 - 2 4546
43 2009-04-13 lincoln city home 1 - 1 12932

Step 2: Select rows where 'opponent' is 'aldershot town'.
game date opponent venue result attendance
14 2008-10-28 bury home 1 - 0 12830

Step 3: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.
game date opponent venue result attendance

Final output table:
verification_result
FALSE

Prediction: FALSE

Ground-truth: TRUE