[Attempto] Every call C is urgent or C is important. -- minor bug

Joshua TAYLOR joshuaaaron at gmail.com
Wed Jun 29 15:15:44 CEST 2011


On Wed, Jun 29, 2011 at 8:36 AM, Jean-Marc Vanel
<jeanmarc.vanel at gmail.com> wrote:
> Hi
> This sentence is not well understood :
>
> Every call C is urgent or C is important.
>
> Paraphrase
> If there is a call X1 then the call X1 is urgent or something is important.
>
> It's not just the paraphrase, the DRS is wrong too.
>
> Note that the same sentence after dropping the variable is well understood :
> Every call  is urgent or  is important.


This post just caught my eye.  The original English "Every call C is
urgent or C is important" doesn't sound right to me (as English).
Notice that you'll get the same DRS from  "Every call C is urgent or C
is important." and "Every call C is urgent or D is important." And
note that the paraphrase for "D is important." is  "There is something
X1.  X1 is important." I think it's just a matter that the universally
quantified C doesn't have scope in the second half of the sentence, "C
is important."

However, there are some better sounding English alternatives for (what
seems to be) the desired result:

For every call C C is urgent or C is important.
Every call C is urgent or is important.

//JT


-- 
Joshua Taylor, http://www.cs.rpi.edu/~tayloj/


More information about the attempto mailing list