ssertions of TERM.<br />Single value returned is a list of elements satisfying ASSERTION-P. <br /><br /><a name="FN-DEF-FPRED-VALUE" id="FN-DEF-FPRED-VALUE"></a>function <tt><strong>FPRED-VALUE</strong> : (term pred &amp;optional index-arg gather-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></co