<div>There also a solution with an equivalent FOL expression.</div><div>But from a naive natural language point of view, this is maybe less good; it gives the impression that 2 things are inserted.</div><div><br></div><div>
./ape.exe -guess -text &#39;If a thing X is a:inserted, and a thing Y is a:inserted then Y is X.&#39; -solo drspp</div><div>[]</div><div>   [A, B, C, D, E, F]</div><div>   object(A, thing, countable, na, eq, 1)-1/3</div><div>
   property(B, inserted, pos)-1/8</div><div>   predicate(C, be, A, B)-1/5</div><div>   object(D, thing, countable, na, eq, 1)-1/12</div><div>   property(E, inserted, pos)-1/17</div><div>   predicate(F, be, D, E)-1/14</div>
<div>   =&gt;</div><div>   [G]</div><div>   predicate(G, be, D, A)-1/20</div><div><br></div><br><div class="gmail_quote"><br></div>-- <br>Jean-Marc Vanel<br>Consulting, services, training,<br>Rule-based programming, Semantic Web<br>
<a href="http://jmvanel.free.fr/">http://jmvanel.free.fr/</a><br>EulerGUI, a turntable GUI for Semantic Web + rules, XML, UML, eCore, Java bytecode<br>+33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16<br>( we rarely listen to voice messages, please send a mail instead )<br>