On Thu, Jul 2, 2009 at 5:54 AM, Norbert E. Fuchs <span dir="ltr">&lt;<a href="mailto:fuchs@ifi.uzh.ch">fuchs@ifi.uzh.ch</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im"><br></div>
Previous versions of ACE allowed proper names in apposition to common nouns, but that led to problems as, for instance<br>
<br>
A woman John sleeps.</blockquote><div><br> I can see why using an indefinite article  doesn&#39;t work with ACE. since that wants parenthetical commas, which break conjunctions:<br><br>(1) [[[A woman, John], and [a dog]] slept.]<br>
(2)  [[A woman],[John], and [a dog]] slept].<br><br>Is there also a problem with &quot;The woman John sleeps.&quot; / &quot;John the woman sleeps.&quot;? <br><br>Also, since something is the top type, it subsumes any more specific type that is bound to a variable;  would allowing variables of other types to to match with it break things?  <br>
<br><div class="box"><div class="resultInput"><br></div></div><br>Simon <br></div></div><br>