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

[Kaarel Kaljurand]

Hi,

> 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.

While the DRS is intended (as explained by others), the paraphrase is
wrong because it doesn't preserve the scope structure of the original
sentence. A correct paraphrase could be achieved by reordering the
elements of the disjunction:

    Something is important or if there is a call X1 then the call X1 is urgent.

Currently the paraphraser does not perform such disjunction reordering.

(If you want to be sure that the paraphrase is correct then you can
test the structural equivalence of the DRSs of the original sentence
and of the paraphrase, which you can do automatically.)

--
kaarel