ext hinzugef&uuml;gt wurden, oder die Symbole <code>redunant</code> und 
<code>inconsistent</code>.
</p>
<p>Die Aussagen <var>pred_1</var>, &hellip;, <var>pred_n</var> k&ouml;nnen nur Ausdr&uuml;cke mit 
den relationalen Operatoren <code>&quot;&lt;&quot;</code>, <code>&quot;&lt;=&quot;</code>, <code>equal</code>, 
<code>notequal</code>, <code>&quot;&gt;=&quot;</code> und <code>&quot;&gt;&quot;</code> sein.  Aussagen k&ouml;nnen nicht die
Operatoren <code>&quot;=&quot;</code> f&uuml;r Gleichungen oder <code>