LDS" id="FN-DEF-PRED-U-V-HOLDS"></a>function <tt><strong>PRED-U-V-HOLDS</strong> : (pred u v &amp;optional u-arg v-arg truth)</tt><br />Find the first gaf assertion such that:<br /><code></code>(a) the assertion is in a relevant microtheory (relevance is established outside)<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) U is the term in the U-ARG position.<br /><code></code>(e) V is the term in 