<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><br class=""><br class=""><blockquote type="cite" class="">On 17 Dec 2019, at 5:51 , Marco Zanchi <<a href="mailto:mzanchi@gmail.com" class="">mzanchi@gmail.com</a>> wrote:<br class=""><br class="">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 class=""><br class="">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 class=""><br class=""><?xml version="1.0" encoding="UTF-8"?><br class=""><DRS domain="A B C"><br class=""> <object ref="C" noun="father" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="2"/><br class=""> <object ref="B" noun="family" struct="countable" unit="na" numrel="eq" num="1" sentid="1" tokid="6"/><br class=""> <predicate ref="A" verb="belong" subj="C" sentid="1" tokid="3"/><br class=""> <modifier_pp ref="A" prep="to" obj="B" sentid="1" tokid="4"/><br class=""></DRS><br class=""><br class="">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 class=""></blockquote><div class=""><br class=""></div>Marco<div class=""><br class=""></div><div class="">Your sentence</div><div class=""><br class=""></div><div class="">The father belongs to the family.</div><div class=""><br class=""></div><div class="">creates the DRS</div><div class=""><br class=""><div class="">[A,B,C]</div><div class="">object(C,father,countable,na,eq,1)-1/2</div><div class="">object(B,family,countable,na,eq,1)-1/6</div><div class="">predicate(A,belong,C)-1/3</div><div class="">modifier_pp(A,to,B)-1/4</div><div class=""><br class=""></div><div class="">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 class=""><br class=""></div><div class="">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 class=""><br class=""></div><div class=""><img apple-inline="yes" id="7786047A-AF4E-4396-BC9B-D987B71631DE" width="708" height="290" src="cid:585AB820-2937-4944-AF99-59AF2876A400@v.cablecom.net" class=""></div><div class=""><br class=""></div><div class="">that shows that of the four axioms only axioms 2 and 3 are used for the proof.</div><div class=""><br class=""></div><div class="">Best regards.</div><div class=""><br class=""></div><div class=""> --- nef</div><br class=""></div></div></body></html>