--- a/model/ProvenanceModel.html	Wed Aug 03 12:08:37 2011 +0100
+++ b/model/ProvenanceModel.html	Wed Aug 03 12:23:27 2011 +0100
@@ -167,8 +167,10 @@
 
     <section> 
 <h3>Encoding in PIL</h3>
+
+In this section, the example is encoded using PIL constructs, expressed in the Abstract Syntax Notation. Details about the Abstract Syntax Notation can be found in <a href='#ASN-convention'>appendix</a>.
 <p>
-Entities:
+Entities (construct described at <a href="#concept-Entity">entity</a>):
 <pre>
 entity(e0, [ type: "File", location: "/shared/crime.txt", creator: "Alice" ])
 entity(e1, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "" ])
@@ -194,7 +196,7 @@
 </p>
 
 <p>
-Derivations:
+Derivations (construct described at <a href="#concept-Derivation">derivation</a>):
 <pre>
 isDerivedFrom(e2,e1)
 isDerivedFrom(e3,e2)
@@ -204,7 +206,7 @@
 </p>
 
 <p>
-Generations:
+Generations (construct described at <a href="#concept-Generation">generation</a>):
 <pre>
 isGeneratedBy(e0,pe0,out)     
 isGeneratedBy(e1,pe0,out)     
@@ -217,7 +219,7 @@
 
 
 <p>
-Use:
+Uses (construct described at <a href="#concept-Use">use</a>):
 <pre>
 uses(pe1,e1,in)
 uses(pe3,e2,in)
@@ -227,7 +229,7 @@
 </p>
 
 <p>
-Process Executions:
+Process Executions (construct described at <a href="#concept-ProcessExecution">process execution</a>):
 <pre>
 processExecution(pe0,create-file,t)
 processExecution(pe1,add-crime-in-london,t+1)
@@ -239,7 +241,7 @@
 
 
 <p>
-IVP of:   (this relation is described at <a href="#IVP-of">IVP-of</a>)
+IVP of:   (this relation is described at <a href="#concept-IVP-of">IVP-of</a>)
 <pre>
 ivpOf(e1,e0)
 ivpOf(e2,e0)
@@ -251,7 +253,7 @@
 
 
 <p>
-Agents:
+Agents (construct described at <a href="#concept-Agent">agent</a>):
 <pre>
 entity(e7, [ type: "Person", name: "Alice" ])
 agent(e7)
@@ -272,7 +274,7 @@
 
 
 <p>
-Control:
+Control (construct described at <a href="#concept-Control">control</a>):
 <pre>
 isControlledBy(pe0,e7,"creator")
 isControlledBy(pe1,e8,"author")
@@ -287,7 +289,9 @@
     <section> 
 <h3>Graphical Illustration</h3>
 
-Provenance assertions can be represented as a <a href="#illustration-convention">graph</a>.<br/>
+Provenance assertions can be illustrated as a graph.
+Details about the graphical illustration can be found in <a href="#illustration-convention">appendix</a>.
+
 <img src="example-graphical.png"/>
 <p/>
 <img src="timeline.png"/>
@@ -363,7 +367,7 @@
 <p>The language defines the following types of constructs.</p>
 
     
-    <section> 
+    <section id="concept-Entity"> 
       
 <h3>Entity</h3>
 
@@ -656,7 +660,7 @@
 </section>
 
 
-<section id="IVP-of">
+<section id="concept-IVP-of">
 
 <h3>IVP of</h3>
 
@@ -955,7 +959,7 @@
 </section> 
 
 
-<section>
+<section id='ASN-convention'>>
       <h3>Abstract Syntax Notation Conventions</h3> 
 <ul>
 <li>Language constructs are represented as <b>name(arg0, arg1, ...)</b>, where the name of the construct occurs first, and is followed by its arguments.</li>