Plan-of-SQLs (Ours)

Statement: in the 28 matches that migues zapata played , he scored only 17 goals

Ground-truth: TRUE

Input Table: 2008 - 09 segunda división b

Step 1: Select rows where 'goalkeeper' is 'miguel zapata'.
goalkeeper goals matches average team
miguel zapata 17 28 0.61 atlético ciudad
rubén martínez 24 32 0.75 cartagena
orlando quintana 29 34 0.85 lorca deportiva
álvaro campos 24 28 0.86 real murcia b
matías garavano 26 30 0.87 mérida
Step 2: Select rows where 'matches' is 28.
goalkeeper goals matches average team
miguel zapata 17 28 0.61 atlético ciudad
Step 3: Select rows where 'goals' is 17.
goalkeeper goals matches average team
miguel zapata 17 28 0.61 atlético ciudad
Step 4: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.
goalkeeper goals matches average team
miguel zapata 17 28 0.61 atlético ciudad
Final output table:
verification_result
TRUE

Prediction: TRUE

Ground-truth: TRUE