Natural Solution to FraCaS Entailment Problems
25891Knowledge Triples
| Source Entity | Relationship | Target Entity |
|---|---|---|
|
Tableau Theorem Prover
Method |
uses |
Natural Logic
Method |