ules) such that:<br />a) if SENSE is :pos, it has a positive literal of the form (genls &lt;whatever&gt; COLLECTION)<br />b) if SENSE is :neg, it has a negative literal of the form (genls &lt;whatever&gt; COLLECTION)<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-ISA-RULE-INDEX" id="FN-D