 its truth value<br />c) if MT is non-nil, then MT must be its microtheory.<br />Single value returned is a list of elements satisfying ASSERTION-P. <br /><br /><a name="FN-DEF-GATHER-PREDICATE-RULE-INDEX" id="FN-DEF-GATHER-PREDICATE-RULE-INDEX"></a>function <tt><strong>GATHER-PREDICATE-RULE-INDEX</strong> : (pred sense &amp;optional mt direction)</tt><br />Return a list of all non-gaf assertions (rules) such that:<br />a) if SENSE is :pos, it has PRED as a predicate in a positive literal<br />b) if SENS