must satisfy INTEGERP.<br />GATHER-ARG must satisfy INTEGERP.<br />TRUTH must satisfy TRUTH-P.<br />Single value returned satisfies HL-TERM-P or is NIL. <br /><br /><a name="FN-DEF-PRED-VALUES" id="FN-DEF-PRED-VALUES"></a>function <tt><strong>PRED-VALUES</strong> : (term pred &amp;optional index-arg gather-arg truth)</tt><br />Find all gaf assertions such that:<br /><code></code>(a) the assertion is in a relevant microtheory (relevance is established outside)<br /><code></code>(b) if TRUTH is non-nil, th