 regras do pacote. As regras no
pacote são: <code>*rule1</code>, ..., <code>*rule8</code>, <code>+rule1</code>, ...,
<code>+rule18</code>, e deve colocar o nome de regra entre aspas duplas
ao referir-se a eles, como em <code>remrule (&quot;+&quot;, &quot;+rule1&quot;)</code> para
especificamente remover a primeira regra sobre <code>&quot;+&quot;</code> ou
<code>disprule (&quot;*rule2&quot;)</code> para mostrar a definição da
segunda regra multiplicativa.
</p>

<hr size="6">
<a name="SEC243"></a>
<table c