NDEXED-TERM-P.<br />V must satisfy HL-TERM-P.<br />MT must satisfy HLMT-P.<br />U-ARG must satisfy INTEGERP.<br />V-ARG must satisfy INTEGERP.<br />TRUTH must satisfy TRUTH-P.<br />Single value returned satisfies BOOLEANP. <br /><br /><a name="FN-DEF-PRED-U-V-HOLDS-IN-MTS" id="FN-DEF-PRED-U-V-HOLDS-IN-MTS"></a>function <tt><strong>PRED-U-V-HOLDS-IN-MTS</strong> : (pred u v mts &amp;optional u-arg v-arg truth)</tt><br />Find the first gaf assertion such that:<br /><code></code>(a) the assertion is in one 