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: 1987 austrian grand prix
Table Content:
| driver | constructor | laps | time / retired | grid |
| --- | --- | --- | --- | --- |
| nigel mansell | williams - honda | 52 | 1:18:44.898 | 2 |
| nelson piquet | williams - honda | 52 | + 55.704 | 1 |
| teo fabi | benetton - ford | 51 | + 1 lap | 5 |
| thierry boutsen | benetton - ford | 51 | + 1 lap | 4 |
| ayrton senna | lotus - honda | 50 | + 2 laps | 7 |
| alain prost | mclaren - tag | 50 | + 2 laps | 9 |
| stefan johansson | mclaren - tag | 50 | + 2 laps | 14 |
| piercarlo ghinzani | ligier - megatron | 50 | + 2 laps | 18 |
| christian danner | zakspeed | 49 | + 3 laps | 20 |
| rené arnoux | ligier - megatron | 49 | + 3 laps | 16 |
| ivan capelli | march - ford | 49 | + 3 laps | 23 |
| philippe alliot | lola - ford | 49 | + 3 laps | 22 |
| satoru nakajima | lotus - honda | 49 | + 3 laps | 13 |
| jonathan palmer | tyrrell - ford | 47 | + 5 laps | 24 |
| martin brundle | zakspeed | 48 | disqualified | 17 |
| pascal fabre | ags - ford | 45 | not classified | 26 |
| riccardo patrese | brabham - bmw | 43 | engine | 8 |
| michele alboreto | ferrari | 42 | turbo | 6 |
| andrea de cesaris | brabham - bmw | 35 | engine | 10 |
| derek warwick | arrows - megatron | 35 | engine | 11 |
| eddie cheever | arrows - megatron | 31 | tyre | 12 |
| gerhard berger | ferrari | 5 | turbo | 3 |
| adrián campos | minardi - motori moderni | 3 | electrical | 19 |
| alessandro nannini | minardi - motori moderni | 1 | engine | 15 |
| alex caffi | osella - alfa romeo | 0 | electrical | 21 |
| philippe streiff | tyrrell - ford | 0 | accident | 25 |


Statement
philippe streiff have the highest number of lap


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