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-MT" id="FN-DEF-SOME-PRED-VALUE-IN-MT"></a>function <tt><strong>SOME-PRED-VALUE-IN-MT</strong> : (term pred mt &amp;optional index-arg truth)</tt><br />Find the first gaf assertion such that:<br /><code></code>(a) the assertion is in microtheory MT<br /><code></code>(b) if TRUTH is non-nil, the assertion has TRUTH as its truth value<br /><code></co