           <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="../../../index.html" class="extype" name="ch.unibas.cs">cs</a>.<a
                        href="../../index.html" class="extype" name="ch.unibas.cs.gravis">gravis</a>.<a
                        