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

[Jean-Marc Vanel]

There also a solution with an equivalent FOL expression.
But from a naive natural language point of view, this is maybe less good; it
gives the impression that 2 things are inserted.

./ape.exe -guess -text 'If a thing X is a:inserted, and a thing Y is
a:inserted then Y is X.' -solo drspp
[]
   [A, B, C, D, E, F]
   object(A, thing, countable, na, eq, 1)-1/3
   property(B, inserted, pos)-1/8
   predicate(C, be, A, B)-1/5
   object(D, thing, countable, na, eq, 1)-1/12
   property(E, inserted, pos)-1/17
   predicate(F, be, D, E)-1/14
   =>
   [G]
   predicate(G, be, D, A)-1/20



-- 
Jean-Marc Vanel
Consulting, services, training,
Rule-based programming, Semantic Web
http://jmvanel.free.fr/
EulerGUI, a turntable GUI for Semantic Web + rules, XML, UML, eCore, Java
bytecode
+33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16
( we rarely listen to voice messages, please send a mail instead )
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20100711/7c658c73/attachment.htm>