de>(c) PRED is the predicate used.<br /><code></code>(d) TERM is the term in the INDEX-ARG position.<br /><code></code>Return T if such an assertion exists, otherwise return NIL.<br />TERM must satisfy INDEXED-TERM-P.<br />PRED must satisfy FORT-P.<br />MT must satisfy HLMT-P.<br />INDEX-ARG must satisfy INTEGERP.<br />TRUTH must satisfy TRUTH-P.<br />Single value returned satisfies BOOLEANP. <br /><br /><a name="FN-DEF-SOME-PRED-VALUE-IN-MTS" id="FN-DEF-SOME-PRED-VALUE-IN-MTS"></a>function <tt><strong>SO