rtions.<br />PRED must satisfy FORT-P.<br />MTS must satisfy LISTP.<br />GATHER-ARG must satisfy INTEGERP.<br />TRUTH must satisfy TRUTH-P.<br />Single value returned is a list of elements satisfying HL-TERM-P. <br /><br /><a name="FN-DEF-PRED-REFS-IN-ANY-MT" id="FN-DEF-PRED-REFS-IN-ANY-MT"></a>function <tt><strong>PRED-REFS-IN-ANY-MT</strong> : (pred &amp;optional gather-arg truth)</tt><br />Find all gaf assertions such that:<br /><code></code>(a) the assertion is allowed to be in any microtheory<br /><