Entailment Inference in a Natural Logic-like General Reasoner

Open in new window