Plan-of-SQLs (Ours)


Statement: jonathan legear scored four more goals than matias suarez , the next highest ranked player in the belgian first dvision a league who played in the belgian cup

Ground-truth: TRUE

Input Table: 2008 - 09 r.s.c. anderlecht season

Step 1: Select rows where 'player' is 'jonathan legear' or 'matías suárez'.
player league title_playoff super_cup total
mbark boussoufa 11 0 0 11
tom de sutter 9 0 0 9
guillaume gillet 8 0 0 9
marcin wasilewski 8 0 0 8
jonathan legear 5 1 0 7
nicolás frutos 6 0 0 6
thomas chatelle 4 0 0 4
roland juhász 4 0 0 4
stanislav vlček 4 0 0 4
lucas biglia 2 0 0 3
dmitri bulykin 3 0 0 3
jan polák 2 0 0 3
matías suárez 1 0 1 3
jelle van damme 3 0 0 3
oleksandr iakovenko 2 0 0 2
hernán losada 1 0 0 2
víctor bernárdez 1 0 0 1
bart goor 1 0 0 1
nemanja rnić 0 0 0 1

Step 2: Select rows where 'league' is '1' and 'title_playoff' is '0' and 'super_cup' is '0'.
player league title_playoff super_cup total
jonathan legear 5 1 0 7
matías suárez 1 0 1 3

Step 3: Use a `CASE` statement to return TRUE if the number of rows for 'jonathan legear' is greater than the number of rows for 'matías suárez' plus 4, otherwise return FALSE.
player league title_playoff super_cup total

Final output table:
verification_result

Prediction:

Ground-truth: TRUE