Plan-of-SQLs (Ours)


Statement: the home team st kilda played away team north melbourne , who had a score of 12.11 (83)

Ground-truth: TRUE

Input Table: 1946 vfl season

Step 1: Select rows where 'home_team' is 'st kilda'.
home_team home_team_score away_team away_team_score venue crowd date
geelong 15.7 (97) melbourne 21.14 (140) kardinia park 11500 1946-07-13
essendon 16.24 (120) footscray 14.8 (92) windy hill 29000 1946-07-13
collingwood 15.23 (113) hawthorn 11.14 (80) victoria park 11000 1946-07-13
carlton 12.13 (85) south melbourne 11.18 (84) princes park 26000 1946-07-13
st kilda 10.14 (74) north melbourne 12.11 (83) junction oval 7000 1946-07-13
richmond 14.14 (98) fitzroy 10.12 (72) punt road oval 19000 1946-07-13

Step 2: Select rows where 'away_team' is 'north melbourne'.
home_team home_team_score away_team away_team_score venue crowd date
st kilda 10.14 (74) north melbourne 12.11 (83) junction oval 7000 1946-07-13

Step 3: Select rows where 'away_team_score' is '12.11 (83)'.
home_team home_team_score away_team away_team_score venue crowd date
st kilda 10.14 (74) north melbourne 12.11 (83) junction oval 7000 1946-07-13

Step 4: 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
st kilda 10.14 (74) north melbourne 12.11 (83) junction oval 7000 1946-07-13

Final output table:
verification_result
TRUE

Prediction: TRUE

Ground-truth: TRUE