[Attempto] from DRS to ACE

[Kaarel Kaljurand]

Hi,

On Fri, Jul 16, 2010 at 12:10, Gabriele Kahlout
<gabriele at mysimpatico.com> wrote:
> drs_to_ace(drs([A, B], [ object(A, card, countable, na, eq, 1)-1/4,
> predicate(B, enter, named('John'), A)-1/2, drs([C],[object(C, card,
> countable, na, eq, 1)-2/2]) -> drs([D, E], [property(D,green,pos)-2/4,
> predicate(E,be,C,D)-2/3])]),K).
>
> From the DRS report returns false. Why?

You have to use => (instead of ->) as the implication operator:

?- drs_to_ace:drs_to_ace(drs([A, B], [object(A, card, countable, na,
eq, 1)-1/4, predicate(B, enter, named('John'), A)-1/2,
'=>'(drs([C],[object(C, card, countable, na, eq, 1)-2/2]), drs([D, E],
[property(D,green,pos)-2/4, predicate(E,be,C,D)-2/3]))]),K).
K = [['John enters a card.'], ['If there is a card X1 then the card X1
is green.']].

--
kaarel