[Attempto] or is interpreted as inclusive or , or xor?

[Norbert E. Fuchs]

On 11 Jul 2010, at 10:45, Gabriele Kahlout wrote:

> I found no documentation on expressing mutual exclusiveness.

See "2.2.5 How to Express Exclusive Disjunction?" in the document "ACE Troubleshooting Guide" (http://attempto.ifi.uzh.ch/site/docs/ace_troubleshooting.html). 

   --- nef