<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div>Those warnings perhaps merit some investigation, but I don't think they are fatal are they? &nbsp;Did you try the resulting grammar to no avail?</div><div><br></div><div>I was not sure ACE would be happy with the include statement, but it sounds as though that is not the issue, so then I would expect behavior similar to what Stephan cites.</div><div><br></div><div>Woodley<br><br><br></div><div><br>On Mar 14, 2017, at 5:29 PM, Francis Bond &lt;<a href="mailto:bond@ieee.org">bond@ieee.org</a>&gt; wrote:<br><br></div><blockquote type="cite"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div id="gmail-:yn" class="gmail-a3s gmail-aXjCH gmail-m15acef1efa18a362">the above SEM-I extension should work equivalently in ACE, i<br>
expect; could someone easily confirm that?<div style="display: none;"><br></div></div></blockquote><div><br></div><div>Thank you very much for investigating this fix.&nbsp;</div></div><br>We confirmed that this does not work :-). &nbsp; ACE seems to not like the hierarchy being redefined (if I am interpreting the error messages correctly). &nbsp;&nbsp;<br><div class="gmail_extra">type: `def_explicit_q' already declared, go away!</div><div class="gmail_extra">type: `def_implicit_q' already declared, go away!</div><div class="gmail_extra">type: `udef_q' already declared, go away!</div><div class="gmail_extra">type: `_the_q' already declared, go away!</div><div class="gmail_extra">type: `_a_q' already declared, go away!</div><div class="gmail_extra"><br></div><div class="gmail_extra">Note that even without jaen.smi we get some similar error messages when we compile the ERG in the logon tree (rev 25417).</div><div class="gmail_extra"><br></div><div class="gmail_extra"><div class="gmail_extra">type: `compound' already declared, go away!</div><div class="gmail_extra">type: `existential_q' already declared, go away!</div><div class="gmail_extra">type: `of_p' already declared, go away!</div><div class="gmail_extra">type: `temp_loc_sp' already declared, go away!</div><div class="gmail_extra">type: `universal_q' already declared, go away!</div></div></blockquote></body></html>