l such assertions.<br />TERM must satisfy INDEXED-TERM-P.<br />PRED must satisfy FORT-P.<br />INDEX-ARG must satisfy INTEGERP.<br />GATHER-ARGS must satisfy LISTP.<br />MT must satisfy HLMT-P.<br />TRUTH must satisfy TRUTH-P.<br />Single value returned is a list of elements satisfying LISTP. <br /><br /><a name="FN-DEF-PRED-VALUE-TUPLES-IN-MTS" id="FN-DEF-PRED-VALUE-TUPLES-IN-MTS"></a>function <tt><strong>PRED-VALUE-TUPLES-IN-MTS</strong> : (term pred index-arg gather-args mts &amp;optional truth)</tt><b