<a name="FN-DEF-PRED-REFS-IN-MTS" id="FN-DEF-PRED-REFS-IN-MTS"></a>function <tt><strong>PRED-REFS-IN-MTS</strong> : (pred mts &amp;optional gather-arg truth)</tt><br />Find all gaf assertions 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>Return a list of the terms in the GATHER-ARG position of all such asse