ass="cyc-article">
    <span class="print-link"></span><div class="field field-name-body field-type-text-with-summary field-label-hidden"><div class="field-items"><div class="field-item even" property="content:encoded"> <p><span style="font-family: 'Times New Roman'; line-height: normal; font-size: medium;">Methods for mapping over the KB datastructures. The WITH- macros also provide relevant mts for most functions in which the microtheory is an optional argument. </span><br style="font-family: 'Times New 