Plan-of-SQLs (Ours)

Statement: only the master series final in paris had a carpet surface

Ground-truth: TRUE

Input Table: lleyton hewitt

Step 1: Select rows where 'surface' is 'carpet'.
outcome year championship surface opponent score
runner - up 2000-01-01 stuttgart hard (i) wayne ferreira 6 - 7 (6 - 8) , 6 - 3 , 7 - 6 (7 - 5) , 6 - 7 (2 - 7) , 2 - 6
winner 2002-01-01 indian wells hard tim henman 6 - 1 , 6 - 2
runner - up 2002-01-01 cincinnati hard carlos moyá 5 - 7 , 6 - 7 (5 - 7)
runner - up 2002-01-01 paris carpet (i) marat safin 6 - 7 (4 - 7) , 0 - 6 , 4 - 6
winner 2003-01-01 indian wells (2) hard gustavo kuerten 6 - 1 , 6 - 1
runner - up 2004-01-01 cincinnati (2) hard andre agassi 3 - 6 , 6 - 3 , 2 - 6
runner - up 2005-01-01 indian wells hard roger federer 2 - 6 , 4 - 6 , 4 - 6
Step 2: Select rows where 'championship' is 'paris'.
outcome year championship surface opponent score
runner - up 2002-01-01 paris carpet (i) marat safin 6 - 7 (4 - 7) , 0 - 6 , 4 - 6
Step 3: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.
outcome year championship surface opponent score
runner - up 2002-01-01 paris carpet (i) marat safin 6 - 7 (4 - 7) , 0 - 6 , 4 - 6
Final output table:
verification_result
TRUE

Prediction: TRUE

Ground-truth: TRUE