Plan-of-SQLs (Ours)

Statement: takamiyama had the shortest time range between his first and last record , 13 years

Ground-truth: FALSE

Input Table: list of sumo record holders

Step 1: Select rows where 'name' is 'takamiyama'.
name total first last highest_rank
kotonishiki 34 1990-09-01 1999-09-01 sekiwake
kaiō 32 1994-05-01 2000-07-01 ōzeki
musōyama 31 1994-03-01 2000-09-01 ōzeki
hasegawa 30 1965-11-01 1974-09-01 sekiwake
kotomitsuki 30 2001-01-01 2007-07-01 ōzeki
akinoshima 27 1988-11-01 2000-09-01 sekiwake
takamiyama 27 1969-11-01 1982-09-01 sekiwake
takatōriki 26 1991-05-01 2000-05-01 sekiwake
wakanosato 26 2000-11-01 2005-09-01 sekiwake
daikirin 22 1966-11-01 1970-09-01 ōzeki
tochiazuma ii 22 1997-07-01 2005-01-01 ōzeki
kisenosato 22 2006-07-01 2011-09-01 ōzeki
Step 2: Extract the numerical year from the 'first' column to add column 'first_year' to existing table.
name total first last highest_rank
takamiyama 27 1969-11-01 1982-09-01 sekiwake
Step 3: Extract the numerical year from the 'last' column to add column 'last_year' to existing table.
name total first last highest_rank first_year
takamiyama 27 1969-11-01 1982-09-01 sekiwake 1969
Step 4: Calculate the time range between the first and last record by subtracting 'last_year' from 'first_year' and add column 'time_range' to existing table.
name total first last highest_rank first_year last_year
takamiyama 27 1969-11-01 1982-09-01 sekiwake 1969 1982
Step 5: Select rows where 'time_range' is equal to 13.
name total first last highest_rank first_year last_year time_range
takamiyama 27 1969-11-01 1982-09-01 sekiwake 1969 1982 13
Step 6: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.
name total first last highest_rank first_year last_year time_range
takamiyama 27 1969-11-01 1982-09-01 sekiwake 1969 1982 13
Final output table:
verification_result
TRUE

Prediction: TRUE

Ground-truth: FALSE