<div dir="ltr">This is perfect. <div><br></div><div>Thank you,</div><div style>Edmon</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, May 25, 2013 at 12:36 PM, Norbert E. Fuchs <span dir="ltr"><<a href="mailto:fuchs@ifi.uzh.ch" target="_blank">fuchs@ifi.uzh.ch</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><br>
<br>
<br>
<br>
On 25 May 2013, at 18:16 , Edmon Begoli <<a href="mailto:ebegoli@gmail.com">ebegoli@gmail.com</a>> wrote:<br>
<br>
> Dear colleagues,<br>
><br>
> Is there an example of encoding of formal logic, including entailments and modal logic,<br>
> in Attempto.<br>
><br>
> If so, please send me a link to an example and, if possible, tutorial.<br>
><br>
> Thank you,<br>
> Edmon<br>
<br>
</div></div>Edmon<br>
<br>
Have a look at my paper<br>
<br>
Norbert E. Fuchs. First-Order Reasoning for Attempto Controlled English, In Proceedings of the Second International Workshop on Controlled Natural Language (CNL 2010), Springer, 2012.<br>
<br>
that you can download from <a href="http://attempto.ifi.uzh.ch/site/pubs/" target="_blank">http://attempto.ifi.uzh.ch/site/pubs/</a><br>
<br>
Section 4 shows how an ACE deduction problem is translated in various forms of first-order logic, eventually into clauses that are used for reasoning.<br>
<br>
Subsection "Modality" of section 5 has several examples of deductions with modality.<br>
<br>
Let me know if you need more information.<br>
<span class="HOEnZb"><font color="#888888"><br>
Norbert E. Fuchs<br>
Department of Informatics & Institute of Computational Linguistics<br>
University of Zurich<br>
<br>
</font></span></blockquote></div><br></div>