E is :neg, it has PRED as a predicate in a negative literal<br />c) if MT is non-nil, then MT must be its microtheory<br />d) if DIRECTION is non-nil, then DIRECTION must be its direction.<br />SENSE must satisfy SENSE-P.<br />Single value returned is a list of elements satisfying ASSERTION-P. <br /><br /><a name="FN-DEF-GATHER-TERM-ASSERTIONS" id="FN-DEF-GATHER-TERM-ASSERTIONS"></a>function <tt><strong>GATHER-TERM-ASSERTIONS</strong> : (term &amp;optional mt)</tt><br />Return a list of all mt-relevant a