<br><br><div class="gmail_quote">On 21 February 2011 22:03, Ansgar Konermann <span dir="ltr">&lt;<a href="mailto:ansgar.konermann@googlemail.com">ansgar.konermann@googlemail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im"><div></div><br>
<br>
</div>If insertLogical did introduce duplicate objects, we&#39;d need this:<br>
<br>
when<br>
      exists edge(a, b)<br>
      exists reach(b, c)<br>
<div class="im">then<br>
      insertLogical( reach(a,c) )<br>
<br></div></blockquote><div><br>You cannot write this because it&#39;s not possible to use variables bound within an exist CE outside this context. Even if you omit the first exists, then c from the second exists is not available.<br>
<br>-W<br><br><br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="im">
<br>
</div><div><div></div><div class="h5">Kind regards<br>
<br>
Ansgar<br>
_______________________________________________<br>
rules-users mailing list<br>
<a href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/rules-users" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br>
</div></div></blockquote></div><br>