INDEX"></a>function <tt><strong>GATHER-FUNCTION-RULE-INDEX</strong> : (func &amp;optional mt direction)</tt><br />Return a list of all non-gaf assertions (rules) such that:<br />a) it has a negative literal of the form (termOfUnit &lt;whatever&gt; (FUNC . &lt;whatever&gt;))<br />b) if MT is non-nil, then MT must be its microtheory<br />c) if DIRECTION is non-nil, then DIRECTION must be its direction.<br />Single value returned is a list of elements satisfying ASSERTION-P. <br /><br /><a name="FN-DEF-GATH