&quot;#&quot;</code> f&uuml;r Ungleichungen 
enthalten.  Auch k&ouml;nnen keine Aussagefunktionen wie <code>integerp</code> verwendet
werden.
</p>
<p>Zusammengesetzte Aussagen mit dem Operator <code>and</code> der Form 
<code><var>pred_1</var> and ... and <var>pred_n</var></code> sind m&ouml;glich, nicht dagegen 
Aussagen mit dem Operator <code>or</code> der Form <code><var>pred_1</var> or ... or 
<var>pred_n</var></code>.  Ein Ausdruck mit dem Operator <code>not</code> der Form 
<code>not(<var>pred_k</var>