Re: revised version of semantics document

From: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
Subject: Re: revised version of semantics document
Date: Thu, 22 Aug 2002 15:08:24 +0200

> [...]
> 
> > Why should anyone care at all about the entailment rules?
> 
> because 
> 
[...]

OK, agreed, entailment can be related to *inference* rules.  

But why should I care whether ``no new existentials are introduced in the
[inference] rules''?

peter