       There's another type of attribute called "inherited" attribute.
          We won't need them for now, but it's good that you be aware of such attributes.
          You can think of them as function arguments. And, rightly so, the rule
          signature is a function signature of the form:
        </p>
<pre class="programlisting"><span class="identifier">result</span><span class="special">(</span><span class="identifier">argN</span><span class="special">,</span> <span class="identifier">argN</span><