Plan-of-SQLs (Ours)


Statement: on 7 may 1960 , a crowd of 9000 watched the away team , richmond , score 3.8 (26)

Ground-truth: TRUE

Input Table: 1960 vfl season

Step 1: Select rows where 'date' is '1960-05-07'.
home_team home_team_score away_team away_team_score venue crowd date
north melbourne 5.12 (42) richmond 3.8 (26) arden street oval 9000 1960-05-07
melbourne 16.14 (110) south melbourne 6.10 (46) mcg 23135 1960-05-07
fitzroy 5.11 (41) geelong 8.7 (55) brunswick street oval 13802 1960-05-07
hawthorn 6.9 (45) footscray 6.17 (53) glenferrie oval 16000 1960-05-07
essendon 11.10 (76) collingwood 11.8 (74) windy hill 30000 1960-05-07
st kilda 5.11 (41) carlton 7.3 (45) junction oval 18700 1960-05-07

Step 2: Select rows where 'crowd' is 9000.
home_team home_team_score away_team away_team_score venue crowd date
north melbourne 5.12 (42) richmond 3.8 (26) arden street oval 9000 1960-05-07
melbourne 16.14 (110) south melbourne 6.10 (46) mcg 23135 1960-05-07
fitzroy 5.11 (41) geelong 8.7 (55) brunswick street oval 13802 1960-05-07
hawthorn 6.9 (45) footscray 6.17 (53) glenferrie oval 16000 1960-05-07
essendon 11.10 (76) collingwood 11.8 (74) windy hill 30000 1960-05-07
st kilda 5.11 (41) carlton 7.3 (45) junction oval 18700 1960-05-07

Step 3: Select rows where 'away_team' is 'richmond'.
home_team home_team_score away_team away_team_score venue crowd date
north melbourne 5.12 (42) richmond 3.8 (26) arden street oval 9000 1960-05-07

Step 4: Select rows where 'away_team_score' is '3.8 (26)'.
home_team home_team_score away_team away_team_score venue crowd date
north melbourne 5.12 (42) richmond 3.8 (26) arden street oval 9000 1960-05-07

Step 5: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.
home_team home_team_score away_team away_team_score venue crowd date
north melbourne 5.12 (42) richmond 3.8 (26) arden street oval 9000 1960-05-07

Final output table:
verification_result
TRUE

Prediction: TRUE

Ground-truth: TRUE