dzsyn-symbol">i</span>) (<span class="mdzsyn-symbol">s</span> <span class="mdzsyn-symbol">j</span>))))
      (<span class="mdzsyn-coresym">when</span> (<span class="mdzsyn-coresym">and</span> <span class="mdzsyn-symbol">k</span> (<span class="mdzsyn-coresym">not=</span> <span class="mdzsyn-symbol">k</span> <span class="mdzsyn-symbol">i</span>) (<span class="mdzsyn-coresym">not=</span> <span class="mdzsyn-symbol">k</span> <span class="mdzsyn-symbol">j</span>) (<span class="mdzsyn-coresym">not=</span> <span c