IN-MT"></a>function <tt><strong>PRED-VALUE-TUPLES-IN-MT</strong> : (term pred index-arg gather-args mt &amp;optional truth)</tt><br />Find all gaf assertions such that:<br /><code></code>(a) the assertion is microtheory MT<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>(d) TERM is the term in the INDEX-ARG position.<br /><code></code>Return a list of tuples formed from the GATHER-ARGS positions of al