t angelegt wurde, die Aussagen und Fakten des Nutzers auf, die 
mit den Funktionen <code><a href="#assume">assume</a></code> und <code><a href="#declare">declare</a></code> definiert werden.  Mit der
Funktion <code><a href="#facts">facts</a></code> k&ouml;nnen die Aussagen und Fakten von Kontexten angezeigt
werden.
</p>
<p>Die Verwaltung verschiedener Kontexte erm&ouml;glicht es, Aussagen und Fakten in
einem Kontext zusammenzustellen.  Durch das Aktivieren mit der Funktion
<code><a href="#activate">activate