/a>
</dt>
<dd><p>Standardwert: <code>initial</code>
</p>
<p>Die Optionsvariable <code>context</code> enth&auml;lt den Namen des aktuellen Kontextes.
Das ist der Kontext, der die Aussagen der Funktion <code><a href="#assume">assume</a></code> oder die mit 
der Funktion <code><a href="#declare">declare</a></code> definierten Eigenschaften aufnimmt und aus dem die 
Aussagen mit der Funktion <code><a href="#forget">forget</a></code> oder die Eigenschaften mit der Funktion
<code><a href="#remove">remove</a></cod