Plan-of-SQLs (Ours)


Statement: bruno brandão from brazil has a snatch of 157.0

Ground-truth: TRUE

Input Table: weightlifting at the 2007 pan american games

Step 1: Select rows where 'name' is 'bruno brandão'.
name bodyweight snatch clean___jerk total__kg
joël mackenzie ( cub ) 101.4 175.0 205.0 380.0
pedro stetsiuk ( arg ) 102.45 160.0 180.0 340.0
damian abbiate ( arg ) 104.45 150.0 188.0 338.0
bruno brandão ( bra ) 99.1 157.0 180.0 337.0
christian lópez ( gua ) 104.7 153.0 182.0 335.0
víctor osorio ( chi ) 103.05 140.0 176.0 316.0
ivorn mcknee ( bar ) 103.25 140.0 - dnf
josé espinoza ( nca ) 99.4 - - dnf
boris burov ( ecu ) 100.4 - - dnf
akos sandor ( can ) 104.95 - - dnf
fabrício mafra ( bra ) 100.75 151.0 187.0 dsq

Step 2: Select rows where 'snatch' is 157.0.
name bodyweight snatch clean___jerk total__kg
bruno brandão ( bra ) 99.1 157.0 180.0 337.0

Step 3: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.
name bodyweight snatch clean___jerk total__kg
bruno brandão ( bra ) 99.1 157.0 180.0 337.0

Final output table:
verification_result
TRUE

Prediction: TRUE

Ground-truth: TRUE