user
Instruction
This is a table fact verification task. The goal of this task is to distinguish whether the given statement is entailed or refuted by the given table.


Table
Table Title: 1996 brazilian grand prix
Table Content:
| driver | constructor | laps | time / retired | grid |
| --- | --- | --- | --- | --- |
| damon hill | williams - renault | 71 | 1:49:52.976 | 1 |
| jean alesi | benetton - renault | 71 | + 17.982 | 5 |
| michael schumacher | ferrari | 70 | + 1 lap | 4 |
| mika hã¤kkinen | mclaren - mercedes | 70 | + 1 lap | 7 |
| mika salo | tyrrell - yamaha | 70 | + 1 lap | 11 |
| olivier panis | ligier - mugen - honda | 70 | + 1 lap | 15 |
| eddie irvine | ferrari | 70 | + 1 lap | 10 |
| pedro diniz | ligier - mugen - honda | 69 | + 2 laps | 22 |
| ukyo katayama | tyrrell - yamaha | 69 | + 2 laps | 16 |
| pedro lamy | minardi - ford | 68 | + 3 laps | 18 |
| luca badoer | forti - ford | 67 | + 4 laps | 19 |
| martin brundle | jordan - peugeot | 64 | spun off | 6 |
| rubens barrichello | jordan - peugeot | 59 | spun off | 2 |
| heinz - harald frentzen | sauber - ford | 36 | engine | 9 |
| david coulthard | mclaren - mercedes | 29 | spun off | 14 |
| johnny herbert | sauber - ford | 28 | engine | 12 |
| jacques villeneuve | williams - renault | 26 | spun off | 3 |
| gerhard berger | benetton - renault | 26 | hydraulics | 8 |
| andrea montermini | forti - ford | 26 | spun off | 20 |
| ricardo rosset | footwork - hart | 24 | spun off | 17 |
| jos verstappen | footwork - hart | 19 | engine | 13 |
| tarso marques | minardi - ford | 0 | spun off | 21 |


Statement
tarso marque do not complete any lap


Answer Format
The final answer should be either "entailed" or "refuted" and use the following format:
```json
{
    "answer": "entailed" or "refuted"
}
```
rule
["entailed"]