 TRUTH as its truth value<br /><code></code>(c) PRED is the predicate used.<br /><code></code>(d) U is the term in the U-ARG position.<br /><code></code>(e) V is the term in the V-ARG position.<br /><code></code>Return T if such an assertion exists, otherwise return NIL.<br />PRED must satisfy FORT-P.<br />U must satisfy INDEXED-TERM-P.<br />V must satisfy HL-TERM-P.<br />U-ARG must satisfy INTEGERP.<br />V-ARG must satisfy INTEGERP.<br />TRUTH must satisfy TRUTH-P.<br />Single value returned satisfies BOOL