rd <code>maybe</code> ausgef&uuml;hrt, ohne dass <code>prederror</code> einen Wert 
erh&auml;lt.
</p>
<p>Siehe auch <code><a href="#assume">assume</a></code>, <code><a href="#facts">facts</a></code> und <code><a href="#is">is</a></code>.
</p>
<p>Beispiele:
</p>
<pre class="example">(%i1) maybe (x &gt; 0);
(%o1)                        unknown
(%i2) assume (x &gt; 1);
(%o2)                        [x &gt; 1]
(%i3) maybe (x &gt; 0);
(%o3)                         true
</pre></dd></dl>

<p><a name="newcontext"></