<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
        {font-family:Menlo;
        panose-1:0 0 0 0 0 0 0 0 0 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0in;
        margin-bottom:.0001pt;
        font-size:12.0pt;
        font-family:"Times New Roman",serif;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:purple;
        text-decoration:underline;}
p.msonormal0, li.msonormal0, div.msonormal0
        {mso-style-name:msonormal;
        mso-margin-top-alt:auto;
        margin-right:0in;
        mso-margin-bottom-alt:auto;
        margin-left:0in;
        font-size:12.0pt;
        font-family:"Times New Roman",serif;}
span.EmailStyle18
        {mso-style-type:personal-reply;
        font-family:"Calibri",sans-serif;
        color:windowtext;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-size:10.0pt;}
@page WordSection1
        {size:8.5in 11.0in;
        margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=EN-US link=blue vlink=purple><div class=WordSection1><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri",sans-serif'>Can we also document any decisions about the optimal implementation behavior somewhere on the DELPH-IN wiki, for such a time as I address SEM-I issues in ‘agree’ ?<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri",sans-serif'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri",sans-serif'>Thanks,<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri",sans-serif'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri",sans-serif'>Glenn<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri",sans-serif'><o:p>&nbsp;</o:p></span></p><div><div style='border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0in 0in 0in'><p class=MsoNormal><b><span style='font-size:11.0pt;font-family:"Calibri",sans-serif'>From:</span></b><span style='font-size:11.0pt;font-family:"Calibri",sans-serif'> developers-bounces@emmtee.net [mailto:developers-bounces@emmtee.net] <b>On Behalf Of </b>Woodley Packard<br><b>Sent:</b> Thursday, March 23, 2017 11:05 PM<br><b>To:</b> Stephan Oepen &lt;oe@ifi.uio.no&gt;<br><b>Cc:</b> Michael Wayne Goodman &lt;goodmami@uw.edu&gt;; developers@delph-in.net<br><b>Subject:</b> Re: [developers] Sweaglesw ERG binaries don't include SEM-I?<o:p></o:p></span></p></div></div><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal>Interested parties,<o:p></o:p></p><div><p class=MsoNormal><o:p>&nbsp;</o:p></p></div><div><p class=MsoNormal>I’ve now found time to impement behavior (c) from this thread, and tested Stephan's jaen.smi and example MRS with and without the change, and can report that various denominations of dog can be observed to bark once the change (now committed to svn trunk) is applied.<o:p></o:p></p></div><div><p class=MsoNormal><o:p>&nbsp;</o:p></p></div><div><div><p class=MsoNormal><span style='font-size:10.5pt;font-family:"Menlo",serif'>$ ./ace -g erg-1214.dat -e ~/transfer.debug.oe&nbsp;<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-size:10.5pt;font-family:"Menlo",serif'>The dog barks.<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-size:10.5pt;font-family:"Menlo",serif'>A dog barks.<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-size:10.5pt;font-family:"Menlo",serif'>The dogs bark.<o:p></o:p></span></p></div><div><p class=MsoNormal><span style='font-size:10.5pt;font-family:"Menlo",serif'>Dogs bark.<o:p></o:p></span></p></div></div><div><p class=MsoNormal><br><br><o:p></o:p></p></div><div><p class=MsoNormal><o:p>&nbsp;</o:p></p></div><div><p class=MsoNormal>-Woodley<o:p></o:p></p></div><div><p class=MsoNormal><o:p>&nbsp;</o:p></p><div><blockquote style='margin-top:5.0pt;margin-bottom:5.0pt'><div><p class=MsoNormal>On Mar 15, 2017, at 11:16 AM, Stephan Oepen &lt;<a href="mailto:oe@ifi.uio.no">oe@ifi.uio.no</a>&gt; wrote:<o:p></o:p></p></div><p class=MsoNormal><o:p>&nbsp;</o:p></p><div><div><p class=MsoNormal>hiya,<br><br><br><o:p></o:p></p><blockquote style='margin-top:5.0pt;margin-bottom:5.0pt'><p class=MsoNormal>Those warnings perhaps merit some investigation, but I don't think they are<br>fatal are they? &nbsp;Did you try the resulting grammar to no avail?<o:p></o:p></p></blockquote><p class=MsoNormal><br>i suspect you might be ignoring declarations for which that warning is<br>output? &nbsp;which would explain why the hierarchy extensions currently<br>have no effect in ACE.<br><br>how to interpret repeated subsumption declarations for the same<br>predicate is one of the fine points of the SEM-I Definition Language<br>(SDL) that we have yet to specify.<br><br>one could (a) ignore declarations for predicates that have been seen<br>to the left of ‘&lt;’ before; (b) merge the right-hand side of all such<br>declarations into the union of parents; or (c) treat them as<br>re-definitions, i.e. let the chronologically last such declaration<br>take effect.<br><br>i believe the LKB currently applies strategy (b), which in this case<br>leads to the same effect as (c) because i also apply transitive<br>reduction to the parent declarations.<br><br>but to fully enable users to configure custom predicate hierarchies<br>without changing core ERG files, my current sense is that we should<br>opt for (c)—which presumably would not be harder to implement than<br>(a).<br><br>woodley, could you agree to this point of view (and if so, make it so<br>in ACE :-)?<br><br>it would really feel like a break-through if we ended up solving the<br>current JaEn issue by empowering francis and colleagues to augment the<br>ERG predicate hierarchy non-intrusively. &nbsp;making that possible (and<br>practical) was among my key reasons for pushing foward the use of the<br>SEM-I for all processing that has at its core MRS manipulation.<br><br>cheers, oe<o:p></o:p></p></div></div></blockquote></div><p class=MsoNormal><o:p>&nbsp;</o:p></p></div></div></body></html>