ME-PRED-VALUE-IN-MTS</strong> : (term pred mts &amp;optional index-arg truth)</tt><br />Find the first gaf assertion such that:<br /><code></code>(a) the assertion is in one of the microtheories in the list MTS<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 T if such an assertion exists, otherwise return NIL.<br />TERM must satis