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: list of intel pentium dual - core microprocessors
Table Content:
| model number | sspec number | frequency | l2 cache | fsb | mult | voltage | tdp | socket | release date | part number (s) | release price ( usd ) |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| pentium dual - core t2310 | slaec (m0) | 1.47 ghz | 1 mb | 533 mt / s | 11 | 1.075 - 1.175v | 35 w | socket p | q4 2007 | lf80537 ge0201 m | 90 |
| pentium dual - core t2330 | sla4k (m0) | 1.6 ghz | 1 mb | 533 mt / s | 12 | 1.075 - 1.175v | 35 w | socket p | q4 2007 | lf80537 ge0251 mn | oem |
| pentium dual - core t2370 | sla4j (m0) | 1.73 ghz | 1 mb | 533 mt / s | 13 | 1.075 - 1.175v | 35 w | socket p | q4 2007 | lf80537 ge0301 m | oem |
| pentium dual - core t2390 | sla4h (m0) | 1.87 ghz | 1 mb | 533 mt / s | 14 | 1.075 - 1.175v | 35 w | socket p | q2 2008 | lf80537 ge0361 m | oem |
| pentium dual - core t2410 | sla4 g (m0) | 2 ghz | 1 mb | 533 mt / s | 15 | 1.075 - 1.175v | 35 w | socket p | q3 2008 | lf80537 ge0411 m | oem |
| pentium dual - core t3200 | slavg (m0) | 2 ghz | 1 mb | 667 mt / s | 12 | 1.075 - 1.175v | 35 w | socket p | q4 2008 | lf80537 gf0411 m | oem |


Statement
part number lf80537 ge0251 mn of sspec number sla4 g (m0) have fsb 533 mt / s


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