>(a) the assertion is allowed to be in any microtheory<br /><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>(d) TERM is the term in the INDEX-ARG position.<br /><code></code>Return the term in the GATHER-ARG position if such an assertion exists.<br /><code></code>Otherwise, return NIL.<br />TERM must satisfy INDEXED-TERM-P.<br />PRED must satisfy FORT-P.<br />INDEX-ARG must satisfy INTEGERP.<br />GATHER-ARG 