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: efda nations cup
Table Content:
| season | venue | teams | drivers | champion | second | third |
| --- | --- | --- | --- | --- | --- | --- |
| 1990 | circuit de spa - francorchamps | 17 | 34 | portugal ( pedro lamy , diogo castro santos ) | brazil | sweden |
| 1991 | circuit park zandvoort | 18 | 36 | portugal ( pedro lamy , diogo castro santos ) | germany | sweden |
| 1992 | autódromo do estoril | 14 | 28 | netherlands ( martin koene , jos verstappen ) | portugal | italy |
| 1993 | autódromo do estoril | 15 | 30 | austria ( martin albrecht , hubert stromberger ) | belgium | brazil |
| 1994 | circuit park zandvoort | 18 | 36 | netherlands ( tom coronel , donny crevels ) | austria | portugal |
| 1995 | circuit de nevers magny - cours | 15 | 30 | portugal ( manuel gião , andré couto ) | netherlands | great britain |
| 1996 | donington park | 13 | 26 | germany ( pierre kaffer , norman simon ) | united states | brazil |
| 1997 | donington park | 13 | 26 | italy ( giovanni montanari , giovanni anapoli ) | brazil | germany |
| 1998 | circuit park zandvoort | 5 | 10 | great britain ( darren malkin , justin sherwood ) | netherlands | united states |


Statement
austria have only win the championship 1 time from 1990 to 1998


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