ER-GAF-ARG-INDEX" id="FN-DEF-GATHER-GAF-ARG-INDEX"></a>function <tt><strong>GATHER-GAF-ARG-INDEX</strong> : (term argnum &amp;optional pred mt truth)</tt><br />Return a list of all gaf assertions such that:<br />a) TERM is its ARGNUMth argument<br />b) if TRUTH is non-nil, then TRUTH is its truth value<br />c) if PRED is non-nil, then PRED must be its predicate<br />d) if MT is non-nil, then MT must be its microtheory (and PRED must be non-nil).<br />ARGNUM must satisfy POSITIVE-INTEGER-P.<br />Single val