code></code>(b) if TRUTH is non-nil, the assertion has TRUTH as its truth value<br /><code></code>(c) PRED is the predicate used.<br /><code></code>Return a list of the terms in the GATHER-ARG position of all such assertions.<br />PRED must satisfy FORT-P.<br />GATHER-ARG must satisfy INTEGERP.<br />TRUTH must satisfy TRUTH-P.<br />Single value returned is a list of elements satisfying HL-TERM-P. <br /><br /><a name="FN-DEF-PRED-REFS-IN-RELEVANT-MTS" id="FN-DEF-PRED-REFS-IN-RELEVANT-MTS"></a>function <tt>