xt
<code>mycontext</code> generiert, der die Aussagen und Eigenschaften aufnimmt.
</p>
<pre class="example">(%i1) context;
(%o1)                        initial
(%i2) context:mycontext;
(%o2)                       mycontext
(%i3) contexts;
(%o3)             [mycontext, initial, global]
(%i4) assume(a&gt;0);
(%o4)                        [a &gt; 0]
(%i5) declare(b,integer);
(%o5)                         done
(%i6) facts(mycontext);
(%o6)               [a &gt; 0, kind(b, integer)]
</pre></dd></dl>

<p><a name="