EANP. <br /><br /><a name="FN-DEF-PRED-U-V-HOLDS-IN-RELEVANT-MTS" id="FN-DEF-PRED-U-V-HOLDS-IN-RELEVANT-MTS"></a>function <tt><strong>PRED-U-V-HOLDS-IN-RELEVANT-MTS</strong> : (pred u v &amp;optional mt u-arg v-arg truth)</tt><br />If MT is NIL, behaves like PRED-U-V-HOLDS. Otherwise, behaves like PRED-U-V-HOLDS-IN-MT<br />PRED must satisfy FORT-P.<br />U must satisfy INDEXED-TERM-P.<br />V must satisfy HL-TERM-P.<br />U-ARG must satisfy INTEGERP.<br />V-ARG must satisfy INTEGERP.<br />TRUTH must satisfy