 TRUTH-P.<br />Single value returned satisfies BOOLEANP. <br /><br /><a name="FN-DEF-PRED-VALUE-TUPLES" id="FN-DEF-PRED-VALUE-TUPLES"></a>function <tt><strong>PRED-VALUE-TUPLES</strong> : (term pred index-arg gather-args &amp;optional truth)</tt><br />Find all gaf assertions 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 pr