span> <span class="ss">#:local</span><span class="p">)</span>
 <span class="p">(</span><span class="ss">:local-number</span> <span class="ss">#:local-number</span><span class="p">)</span> <span class="p">(</span><span class="ss">:local-conflicts</span> <span class="ss">#:local-conflicts</span><span class="p">)</span>
 <span class="p">(</span><span class="ss">:global-conflicts</span> <span class="ss">#:global-conflicts</span><span class="p">)</span> <span class="p">(</span><span class="ss">:current-conflict<