No subject

2010/7/15 Norbert E. Fuchs <fuchs at ifi.uzh.ch>

> drs_to_ace(drs([A], [object(A,cat,countable, na, eq, 1)-1/2]), Y).
>

Where do I learn about this notation/input format?
The DRS report will not do the extra step into prolog, as following it I'd
written the above drs Prolog term (complex term) as:

drs([A], [object(A,card,countable,na,eq,1)] ).

Based on:

drs([A,B],[condition(A),condition(B)])

object(A,card,countable,na,eq,1)

The -1/2


--=20
Regards,
K. Gabriele

--- unchanged since 25/1/10 ---
P.S. Unless a notification (LON), please reply either with an answer OR wit=
h
" ACK" appended to this subject within 48 hours. Otherwise, I might resend.
In(LON, this) =E2=88=A8 In(48h, TimeNow) =E2=88=A8 =E2=88=83x. In(x, MyInbo=
x) =E2=88=A7 IsAnswerTo(x, this)
=E2=88=A8 (In(subject(this), subject(x)) =E2=88=A7 In(ACK, subject(x)) =E2=
=88=A7
=C2=ACIsAnswerTo(x,this)) =E2=87=92 =C2=ACIResend(this).

Also note that correspondence may be received only from specified a priori
senders, or if the subject of this email ends with a code, eg. -LICHT01X,
then also from senders whose reply contains it.
=E2=88=80x. In(x, MyInbox) =E2=87=92 In(senderAddress(x), MySafeSenderList)=
 =E2=88=A8 (=E2=88=83y. In(y,
subject(this) ) =E2=88=A7 In(y,x) =E2=88=A7 isCodeLike(y, -LICHT01X) ).

--001485eba7989d221f048b7e6c3f
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

drs_to_ace(drs([A, B], [ object(A, card, countable, na, eq, 1)-1/4, predica=
te(B, enter, named(&#39;John&#39;), A)-1/2, drs([C],[object(C, card, counta=
ble, na, eq, 1)-2/2]) -&gt; drs([D, E], [property(D,green,pos)-2/4, predica=
te(E,be,C,D)-2/3])]),K).<br>
<br>From the DRS report returns false. Why?<br><br><div class=3D"gmail_quot=
e">2010/7/15 Norbert E. Fuchs <span dir=3D"ltr">&lt;<a href=3D"mailto:fuchs=
@ifi.uzh.ch" target=3D"_blank">fuchs at ifi.uzh.ch</a>&gt;</span><br><blockquo=
te class=3D"gmail_quote" style=3D"margin: 0pt 0pt 0pt 0.8ex; border-left: 1=
px solid rgb(204, 204, 204); padding-left: 1ex;">



<div>drs_to_ace(drs([A], [object(A,cat,countable, na, eq, 1)-1/2]), Y).</di=
v></blockquote></div><br>Where do I learn about this notation/input format?=
<br>The DRS report will not do the extra step into prolog, as following it =
I&#39;d written the above drs Prolog term (complex term) as:<br>



<br>drs([A], [object(A,card,countable,na,eq,1)] ).<br><br>Based on:<br><br>=
drs([A,B],[condition(A),condition(B)])<br><br clear=3D"all">object(A,card,c=
ountable,na,eq,1)<br><br>The -1/2<br><br><br>-- <br>Regards, <br>K. Gabriel=
e<br>



<br>--- unchanged since 25/1/10 ---<br>P.S. Unless a notification (LON), pl=
ease reply either with an answer OR with &quot; ACK&quot; appended to this =
subject within 48 hours. Otherwise, I might resend.<br>In(LON, this) =E2=88=
=A8 In(48h, TimeNow) =E2=88=A8 =E2=88=83x. In(x, MyInbox) =E2=88=A7 IsAnswe=
rTo(x, this) =E2=88=A8 (In(subject(this), subject(x)) =E2=88=A7 In(ACK, sub=
ject(x)) =E2=88=A7 =C2=ACIsAnswerTo(x,this)) =E2=87=92 =C2=ACIResend(this).=
<br>



<br>Also note that correspondence may be received only from specified a pri=
ori senders, or if the subject of this email ends with a code, eg. -LICHT01=
X, then also from senders whose reply contains it.<br>=E2=88=80x. In(x, MyI=
nbox) =E2=87=92 In(senderAddress(x), MySafeSenderList) =E2=88=A8 (=E2=88=83=
y. In(y, subject(this) ) =E2=88=A7 In(y,x) =E2=88=A7 isCodeLike(y, -LICHT01=
X) ).<br>



<br>

--001485eba7989d221f048b7e6c3f--