Plan-of-SQLs (Ours)

Statement: paul dawkins played for the jazz seven years before darryl dawkins

Ground-truth: TRUE

Input Table: utah jazz all - time roster

Step 1: Select rows where 'player' is 'paul dawkins'.
player nationality position years_for_jazz school___club_team
adrian dantley united states guard - forward 1979-01-01 notre dame
brad davis united states guard 1979-01-01 maryland
darryl dawkins united states center 1987-01-01 maynard evans hs
paul dawkins united states guard 1979-01-01 northern illinois
greg deane united states guard 1979-01-01 utah
james donaldson united states center 1993-01-01, 1994-01-01, 1995-01-01 washington state
john drew united states guard - forward 1982-01-01 gardner - webb
john duren united states guard 1980-01-01 georgetown
Step 2: Select rows where 'player' is 'darryl dawkins'.
player nationality position years_for_jazz school___club_team
paul dawkins united states guard 1979-01-01 northern illinois
Step 3: Extract the numerical year from the 'years_for_jazz' column for both players to add columns 'paul_year' and 'darryl_year' to the existing table.
player nationality position years_for_jazz school___club_team
Step 4: Use a CASE statement to return TRUE if the difference between 'paul_year' and 'darryl_year' is equal to 7, otherwise return FALSE.
player nationality position years_for_jazz school___club_team paul_year darryl_year
Final output table:
verification_result

Prediction:

Ground-truth: TRUE