Plan-of-SQLs (Ours)

Statement: the zakspeed s4 t / c engine was used on all chassis from 1985 until 1988

Ground-truth: TRUE

Input Table: zakspeed

Step 1: Select rows where 'engine__s' is 'zakspeed s4 t / c'.
year chassis engine__s tyres points
1985 zakspeed 841 zakspeed s4 t / c g 0
1986 zakspeed 861 zakspeed s4 t / c g 0
1987 zakspeed 861 zakspeed 871 zakspeed s4 t / c g 2
1988 zakspeed 881 zakspeed s4 t / c g 0
1989 zakspeed 891 yamaha v8 p 0
Step 2: Select rows where 'year' is between 1985 and 1988.
year chassis engine__s tyres points
1985 zakspeed 841 zakspeed s4 t / c g 0
1986 zakspeed 861 zakspeed s4 t / c g 0
1987 zakspeed 861 zakspeed 871 zakspeed s4 t / c g 2
1988 zakspeed 881 zakspeed s4 t / c g 0
Step 3: Use a `CASE` statement to return TRUE if the number of rows is equal to 4, otherwise return FALSE.
year chassis engine__s tyres points
1985 zakspeed 841 zakspeed s4 t / c g 0
1986 zakspeed 861 zakspeed s4 t / c g 0
1987 zakspeed 861 zakspeed 871 zakspeed s4 t / c g 2
1988 zakspeed 881 zakspeed s4 t / c g 0
Final output table:
verification_result
TRUE

Prediction: TRUE

Ground-truth: TRUE