From 25d750be6b64ac135a404436cbaef95f4462301d Mon Sep 17 00:00:00 2001
From: josd <josderoo@gmail.com>
Date: Sat, 16 Nov 2024 20:25:18 +0100
Subject: [PATCH] refreshing

---
 index.html | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index 653cd226c..ea7b41779 100644
--- a/index.html
+++ b/index.html
@@ -53,7 +53,8 @@ <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>
@@ -61,7 +62,8 @@ <h2 id="explainable-reasoning">Explainable Reasoning</h2>
 </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>,