--- a/model/prov-n.html	Wed Mar 28 12:49:01 2012 +0100
+++ b/model/prov-n.html	Wed Mar 28 13:08:21 2012 +0100
@@ -313,12 +313,13 @@
 <p>However, communicating provenance between humans is also important when teaching, illustrating, formalizing, and discussing provenance-related issues.  To this end, PROV-N is a notation that is designed to  write instances of the PROV-DM data model in a compact textual form, without the syntactic baggage and constraints coming with a markup language such as XML or a description framework such as RDF. </p>
 
 <ul>
-<li>PROV-N adopts a <em>functional notation</em> consisting a name and a series of arguments in bracket.</li>
+<li>PROV-N adopts a <em>functional notation</em> consisting a name and a series of arguments in bracket.
 <div class="anexample">
 <pre class="codeexample" >
 wasDerivedFrom(e2, e1, a, g2, u1)
 </pre>
 </div>
+</li>
 
 <li>The interpretation of PROV-N arguments is defined according to their <em>position</em> in the list of arguments. This convention allows for a compact notation. </li>
 
@@ -399,7 +400,6 @@
 </ul>
 
 
-</li>
 
 
 
@@ -455,7 +455,7 @@
 <p>Instances of the PROV-DM data model are expressed as PROV-N <dfn title="expression">expressions</dfn>, which have a text conformant with the toplevel <a>production</a> <span class="nonterminal">expression</span> of the grammar. </p>
 
 <div class='grammar'>
-<table border="0" style="background: white;">
+<table border="" style="background: white;">
 <tr><td><span class="nonterminal">expression</span> <br/><br/><br/><br/><br/><br/><br/>
 </td><td>&nbsp;::=<br/><br/><br/><br/><br/><br/><br/></td><td>
 <!-- Component 1-->
@@ -464,31 +464,31 @@
 | <span class="nonterminal">generationExpression</span> 
 | <span class="nonterminal">usageExpression</span> 
 <br/>
-&nbsp;&nbsp| <span class="nonterminal">startExpression</span> 
+&nbsp;&nbsp;| <span class="nonterminal">startExpression</span> 
 | <span class="nonterminal">endExpression</span> 
 | <span class="nonterminal">communicationExpression</span> 
 | <span class="nonterminal">startByActivityExpression</span> 
 <br/>
 <!-- Component 2-->
-&nbsp;&nbsp| <span class="nonterminal">agentExpression</span>
+&nbsp;&nbsp;| <span class="nonterminal">agentExpression</span>
 | <span class="nonterminal">attributionExpression</span> 
 | <span class="nonterminal">associationExpression</span> 
 | <span class="nonterminal">responsibilityExpression</span> 
 <br/>
 <!-- Component 3-->
-&nbsp;&nbsp| <span class="nonterminal">derivationExpression</span> 
+&nbsp;&nbsp;| <span class="nonterminal">derivationExpression</span> 
 | <span class="nonterminal">revisionExpression</span> 
 | <span class="nonterminal">quotationExpression</span> <br/>
-&nbsp;&nbsp| <span class="nonterminal">hadOriginalSourceExpression</span> 
+&nbsp;&nbsp;| <span class="nonterminal">hadOriginalSourceExpression</span> 
 | <span class="nonterminal">traceabilityExpression</span> 
 <br/>
 <!-- Component 4-->
-&nbsp;&nbsp| <span class="nonterminal">alternateExpression</span> 
+&nbsp;&nbsp;| <span class="nonterminal">alternateExpression</span> 
 | <span class="nonterminal">specializationExpression</span>
 <br/>
 <!-- Component 5 TODO-->
 <!-- Component 6-->
-&nbsp;&nbsp| <span class="nonterminal">noteExpression</span> 
+&nbsp;&nbsp;| <span class="nonterminal">noteExpression</span> 
 | <span class="nonterminal">annotationExpression</span> 
 <br/>
 </td></tr>
@@ -1148,7 +1148,7 @@
 <section id="expression-collection-insertion">
 <h3>Insertion</h3>
 
-A Derivation-by-Insertion relation's text matches the <span class="nonterminal">derivationByInsertionFromExpression</span> production.</p>
+<p>A Derivation-by-Insertion relation's text matches the <span class="nonterminal">derivationByInsertionFromExpression</span> production.</p>
 
 <div class="grammar">
  <span class="nonterminal">derivationByInsertionFromExpression</span>&nbsp;::=  
@@ -1182,7 +1182,7 @@
 <section id="expression-collection-removal">
 <h3>Removal</h3>
 
-A Derivation-by-Removal relation's text matches the <span class="nonterminal">derivationByRemovalFromExpression</span> production.</p>
+<p>A Derivation-by-Removal relation's text matches the <span class="nonterminal">derivationByRemovalFromExpression</span> production.</p>
 
 <div class="grammar">
  <span class="nonterminal">derivationByRemovalFromExpression</span>&nbsp;::=  
@@ -1214,7 +1214,7 @@
 <section id="expression-collection-containment">
 <h3>Containment</h3>
 
-A Containment relation's  text matches the <span class="nonterminal">containedExpression</span> production.</p>
+<p>A Containment relation's  text matches the <span class="nonterminal">containedExpression</span> production.</p>
 
 <div class="grammar">
  <span class="nonterminal">containedExpression</span>&nbsp;::=  
@@ -1245,7 +1245,7 @@
 <section id="expression-bulk-insertion">
 <h3>Bulk Insertion</h3>
 
-A  Derivation-by-Bulk-Insertion relation's  text matches the <span class="nonterminal">derivationByBulkInsertionFromExpression</span> production.</p>
+<p>A  Derivation-by-Bulk-Insertion relation's  text matches the <span class="nonterminal">derivationByBulkInsertionFromExpression</span> production.</p>
 
 <div class="grammar">
  <span class="nonterminal">derivationByBulkInsertionFromExpression</span>&nbsp;::=  
@@ -1427,6 +1427,8 @@
 
 
 </section>
+
+<!--
 <section  id="second-class-elements">
 <section id="expression-NamespaceDeclaration">
 </section>
@@ -1446,7 +1448,7 @@
 </section>
 </section>
 </section>
-
+-->