<div dir="ltr">Thank you very much for your help, and pointing out the incorrectness of my semantic translation!<div><br></div><div>I think I am going to try to see if I can work out a basic rewrite system, but it's very helpful to see examples of how such ideas could be expressed in ACE now.</div><div><br></div><div>Thanks again,</div><div>Halley<br><div><br></div><div>  <br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Oct 12, 2020 at 6:12 AM Norbert E. Fuchs <<a href="mailto:fuchs@ifi.uzh.ch" target="_blank">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">Halley<br>
<br>
An afterthought.<br>
<br>
> On 12 Oct 2020, at 12:07 , Norbert E. Fuchs <<a href="mailto:fuchs@ifi.uzh.ch" target="_blank">fuchs@ifi.uzh.ch</a>> wrote:<br>
> <br>
> English: While John sleeps he dreams.<br>
> ACE 1: John sleeps and he dreams.<br>
> ACE 2: John sleeps at a time T and he dreams at the time T.<br>
<br>
This description assumes that the periods of John's sleeping and John's dreaming completely overlap. Of course it is also possible to describe the more realistic situation that the period of John's dreaming is within the period of John's sleeping.<br>
<br>
   --- nef<br>
<br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr"><div dir="ltr">Halley Young<div><a href="http://www.seas.upenn.edu/~halleyy/" target="_blank">http://www.seas.upenn.edu/~halleyy/</a><br></div></div></div>