refreshing

index.html

@@ -53,15 +53,17 @@ <h2 id="explainable-reasoning">Explainable Reasoning</h2>
 like a world wide welding machine transforming data into proofs:</p>
 <p><img src="https://www.w3.org/DesignIssues/diagrams/sweb-bus.png" width="480" height="400" alt="PDB"/></p>
 
-<p> EYE is implemented with the following assumptions:
+<h3 id="eye-reasoning-assumptions">EYE reasoning assumptions</h3>
+
 <ul>
 <li>N3 rules can only have quickvars and they have rule scope</li>
 <li>Quickvars are interpreted universally except for forward rule conclusion-only variables which are interpreted existentially</li>
 <li>Blank nodes are interpreted existentially and have document scope</li>
 </ul>
 </p>
 
-<p>Examples and test cases:
+<h3 id="examples-and-test-cases">Examples and Test Cases</h3>
+
 <ul>
 <li>bayesian networks:
   <a href="https://github.com/eyereasoner/eye/tree/master/reasoning/ccd">ccd</a>,