  <a href="" title="">PriorEvaluator</a>
                    </li>
                </ul>
            </div>
        </div>
        <div id="content">
            <body class="class type">
            <div id="definition">
                <div class="big-circle class">c</div>
                <p id="owner"><a href="../../../../../../index.html" class="extype" name="ch">ch</a>.<a
                        href="../../../../../index.html" class="extype" name="ch.unibas">unibas</a>.<a
                        href=