MT is relevant within BODY (no genl mts). <br /><br /><a name="FN-DEF-WITH-MT-LIST" id="FN-DEF-WITH-MT-LIST"></a>macro <tt><strong>WITH-MT-LIST</strong> : (mt-list &amp;body body)</tt><br />Each mt in the list MT-LIST is relevant within BODY (no genl mts). <br /><br /><a name="FN-DEF-WITH-ANY-MT" id="FN-DEF-WITH-ANY-MT"></a>macro <tt><strong>WITH-ANY-MT</strong> : (&amp;body body)</tt><br />Any mt can be used for relevance for a particular inference within &amp;BODY. <br /><br /><a name="FN-DEF-WITH-