Plan-of-SQLs (Ours)

Statement: for all 28 matches that atletico ciudad played , his average was never below 0.61

Ground-truth: TRUE

Input Table: 2008 - 09 segunda división b

Step 1: Select rows where 'team' is 'atlético ciudad'.
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 'average' is less than 0.61.
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 0, otherwise return FALSE.
goalkeeper goals matches average team
Final output table:
verification_result
TRUE

Prediction: TRUE

Ground-truth: TRUE