</i>
<a name="IDX482"></a>
</dt>
<dd><p>Versucht festzustellen, ob die Aussage <var>expr</var> mit Hilfe der Aussagen und 
Fakten der aktiven Kontexte entschieden werden kann.
</p>
<p>Kann die Aussage <var>expr</var> zu <code>true</code> oder <code>false</code> entschieden werden,
wird das entsprechende Ergebnis zur&uuml;ckgegeben.  Andernfalls wird der 
R&uuml;ckgabewert durch den Schalter <code><a href="#prederror">prederror</a></code> bestimmt.  Hat 
<code>prederror</code> den Wert <code>true</code>, wir