--- a/model/working-copy/wd5-prov-dm-constraints-revised.html	Thu Apr 19 18:57:31 2012 +0100
+++ b/model/working-copy/wd5-prov-dm-constraints-revised.html	Thu Apr 19 19:01:56 2012 +0100
@@ -336,7 +336,7 @@
 and vice versa.
 </p>
 
-<p> Inferences have the following general form:
+<p> Inferences have the following general form:</p>
 <div class='inference' id='inference-example'>
   <span class='conditional'>IF</span> <span class="name">hyp_1</span> and ... and
 <span class="name">hyp_k</span> <span class='conditional'>THEN</span>
@@ -344,8 +344,7 @@
   class="name">a_m</span> such that <span
   class="name">conclusion_1</span> and ... and <span class="name">conclusion_n</span>.
   </div>
-  </p>
-  
+ 
 <p>
   This means that if all of the provenance expressions matching <span class="name">hyp_1</span>... <span class="name">hyp_k</span>
   can be found in a PROV description, we can add all of the expressions
@@ -362,15 +361,15 @@
   TODO: Make sure conjunctive reading of conclusion is clear.
   </div>
 
-<p> Definitions have the following general form:
+<p> Definitions have the following general form:</p>
+
 <div class='definition' id='definition-example'>
   <span class="name">defined_exp</span> holds <span class='conditional'>IF AND ONLY IF </span>
   there exists <span class="name">a_1</span>,..., <span
   class="name">a_m</span> such that <span
   class="name">defining_exp_1</span> and  ... and <span class="name">defining_exp_n</span>.
   </div>
-</p>
-  
+ 
   <p>
   This means that a provenance expression defined_exp is defined in
   terms of other expressions.  This can be viewed as a two-way
@@ -778,7 +777,6 @@
 
 </section>
 
-</section>
 
 
   <section id="equivalence">
@@ -833,12 +831,15 @@
     <li>
     <div id="optional-attributes6">In a quotation of the form <span class="name">wasQuotedFrom(e2,e1,-,-,attrs)</span>, the absence of an agent means: either no agent exists, or an agent exists but it is not identified.</div>
 </li>
-<li><div id="optional-attributes4">In an association of the form <span class="name">wasAssociatedWith(a, ag, -, attr)</span>, the absence of a plan means: either no plan exists, or a plan exists but it is not identified.</p>
-<p>In an association of the form <span class="name">wasAssociatedWith(a, -, pl, attr)</span>, an agent exists but it is not identified.</p>
-</div>
+<li><div id="optional-attributes4">In an association of the form
+  <span class="name">wasAssociatedWith(a, ag, -, attr)</span>, the
+  absence of a plan means: either no plan exists, or a plan exists but
+  it is not identified.</div></li>
+  <li><div id="optional-attributes5">
+In an association of the form <span class="name">wasAssociatedWith(a, -, pl, attr)</span>, an agent exists but it is not identified.</div>
 </li>
 <li><div id="optional-activity">
-<p>In a a delegation of the form <span class="name">actedOnBehalfOf(a,
+In a a delegation of the form <span class="name">actedOnBehalfOf(a,
   ag2, ag1, -, attr)</span>, the absence of an activity means that
   <span class="name">a2</span> acts on behalf of <span
   class="name">a1</span> for all activities with which <span