d Fakten der aktiven
Kontexte zu entscheiden.
</p>
<pre class="example">(%i1) assume (a &gt; b);
(%o1)                        [a &gt; b]
(%i2) assume (b &gt; c);
(%o2)                        [b &gt; c]
(%i3) is (a &lt; b);
(%o3)                         false
(%i4) is (a &gt; c);
(%o4)                         true
(%i5) is (equal (a, c));
(%o5)                         false
</pre>
<p>Wenn <code>is</code> eine Aussage anhand der Aussagen und Fakten der aktiven Kontexte 
nicht entscheiden kann, wird der R&uuml