ts 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-MT-INDEX" id="FN-DEF-GATHER-MT-INDEX"></a>function <tt><strong>GATHER-MT-INDEX</strong> : (term)</tt><br />Return a list of all assertions such that TERM is its microtheory.<br />Single value returned is a list of elements satisfying ASSERTION-P. <br /><br /><a name="FN-DEF-GATHER-NART-ARG-INDEX" id="FN-DEF-GATHER-NART-ARG-INDEX"></a>function <tt><st