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: netherlands at the 2008 summer paralympics
Table Content:
| athlete | class | event | round of 32 | round of 16 | quarterfinals | semifinals | final / bronze medal match |
| --- | --- | --- | --- | --- | --- | --- | --- |
| monique de beer | open | mixed quad singles | n / a | norfolk ( gbr ) l 1 - 6 , 1 - 6 | did not advance | did not advance | did not advance |
| jiske griffioen | open | singles | okabe ( jpn ) w 6 - 2 , 6 - 4 | hwang ( kor ) w 6 - 1 , 6 - 0 | arnoult ( usa ) w 6 - 3 , 6 - 0 | vergeer ( ned ) l 0 - 6 , 1 - 6 | gravellier ( fra ) l 3 - 6 , 4 - 6 |
| korie homan | open | singles | chokyu ( can ) w 6 - 1 , 6 - 2 | hong ( kor ) w 6 - 0 , 6 - 1 | hu ( chn ) w 6 - 1 , 6 - 1 | gravellier ( fra ) w 6 - 4 , 6 - 2 | vergeer ( ned ) l 2 - 6 , 6 - 4 , 6 - 7 (5) |
| dorrie timmermans - van hall | open | mixed quad singles | n / a | polidori ( ita ) w 6 - 1 , 3 - 6 , 6 - 3 | andersson ( swe ) l 3 - 6 , 1 - 6 | did not advance | did not advance |
| esther vergeer | open | singles | di toro ( aus ) w 6 - 2 , 6 - 0 | krã¼ger ( ger ) w 6 - 1 , 6 - 0 | dong ( chn ) w 6 - 2 , 6 - 0 | griffioen ( ned ) w 6 - 0 , 6 - 1 | homan ( ned ) w 6 - 2 , 4 - 6 , 7 - 6 (5) |
| sharon walraven | open | singles | ochoa ( esp ) w 6 - 2 , 6 - 1 | verfuerth ( usa ) w 6 - 1 , 7 - 5 | gravellier ( fra ) l 1 - 6 , 4 - 6 | did not advance | did not advance |
| jiske griffioen esther vergeer | open | doubles | n / a | - | okabe - yaosa ( jpn ) w 6 - 1 , 6 - 2 | arnoult - verfuerth ( usa ) w 6 - 2 , 6 - 1 | homan - walraven ( ned ) l 6 - 2 , 6 - 7 (4) , 4 - 6 |


Statement
did not advance be the semifinal result for dorrie timmermans - van hall


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