<div dir="ltr">Ah yeah, I read about the RACE on a paper recently about using it with ALEXA to do voice-activated logical reasoning ;)<div><br></div><div>It's good to have those sentence and token identifiers, I can probably use them for error checking with an alternative tokenizer.</div><div><br></div><div>In general I find the APE pretty good, I feel really tempted to delve deeper into the Prolog code to see if I can help too, but the paradigm shift is quite radical for me and has been putting me off. It's actually the first time I consciously see myself contemplating a declarative language.</div><div><br></div><div>Thanks for your clarification.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 17 Dec 2019 at 14:26, Norbert E. Fuchs <<a href="mailto:fuchs@ifi.uzh.ch">fuchs@ifi.uzh.ch</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="overflow-wrap: break-word;"><div dir="auto" style="overflow-wrap: break-word;"><br><br><blockquote type="cite">On 17 Dec 2019, at 5:51 , Marco Zanchi <<a href="mailto:mzanchi@gmail.com" target="_blank">mzanchi@gmail.com</a>> wrote:<br><br>I was reading the document Discourse Representation Structures for ACE 6.7, and currently working on creating a POJO framework for representing a DRS.<br><br>The XML output from ACE has names that are a little different from this specification (like "struct" instead of "class" for example), but that's not a big issue. The reason for my message is that I don't find any reference on the document about the last two elements on a condition:<br><br><?xml version="1.0" encoding="UTF-8"?><br><DRS domain="A B C"><br>  <object ref="C" noun="father" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/><br>  <object ref="B" noun="family" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="6"/><br>  <predicate ref="A" verb="belong" subj="C" sentid="1" tokid="3"/><br>  <modifier_pp ref="A" prep="to" obj="B" sentid="1" tokid="4"/><br></DRS><br><br>What is "sentid" and "tokid"? My guess is that it's something to do with a tokenizer, but how so? Do we have a schema for this XML?<br></blockquote><div><br></div>Marco<div><br></div><div>Your sentence</div><div><br></div><div>The father belongs to the family.</div><div><br></div><div>creates the DRS</div><div><br><div>[A,B,C]</div><div>object(C,father,countable,na,eq,1)-1/2</div><div>object(B,family,countable,na,eq,1)-1/6</div><div>predicate(A,belong,C)-1/3</div><div>modifier_pp(A,to,B)-1/4</div><div><br></div><div>where each DRS condition is labelled by sentid/tokid which indicates that the condition comes from the token tokid of the sentence sentid. </div><div><br></div><div>This information is used, for example, in the Attempto reasoner RACE to identify the sentences of a set of axioms that are needed to prove the theorem. Here is an example.</div><div><br></div><div><img id="gmail-m_89211689564423471347786047A-AF4E-4396-BC9B-D987B71631DE" width="708" height="290" src="cid:16f13049a2ddd00a4741"></div><div><br></div><div>that shows that of the four axioms only axioms 2 and 3 are used for the proof.</div><div><br></div><div>Best regards.</div><div><br></div><div>   --- nef</div><br></div></div></div></blockquote></div>