ode>zero</code> f&uuml;r einen
positiven, negativen oder den Wert Null.
</p></dd></dl>

<p><a name="assume"></a>
</p><dl>
<dt><u>Funktion:</u> <b>assume</b><i> (<var>pred_1</var>, &hellip;, <var>pred_n</var>)</i>
<a name="IDX471"></a>
</dt>
<dd><p>F&uuml;gt die Aussagen <var>pred_1</var>, &hellip;, <var>pred_n</var> dem aktuellen Kontext 
hinzu.  Eine inkonsistente oder redundante Aussage wird dem Kontext nicht
hinzugef&uuml;gt.  <code>assume</code> gibt eine Liste mit den Aussagen zur&uuml;ck, die dem
Kont