--- a/model/ProvenanceModel.html	Wed Oct 05 15:29:09 2011 +0100
+++ b/model/ProvenanceModel.html	Wed Oct 05 15:30:57 2011 +0100
@@ -305,7 +305,7 @@
 
 <p>The model includes the following fundamental types:</p>
 <ul>
-  <li>An instance of an <strong>Entity</strong> is a representation of a <em>characterized thing</em>, as defined informally above.</li> The specific nature of an entity is specified by means of a set of <strong>characterizing attributes</strong>. The
+  <li>An instance of an <strong>Entity</strong> is a representation of a <em>characterized thing</em>, as defined informally above. The specific nature of an entity is specified by means of a set of <strong>characterizing attributes</strong>. The
       <strong>wasComplementOf</strong> relationship is used to denote that two entities <em>complement</em> each other, in the sense that they each represent a partial, but mutually compatible characterization of the same thing.</li>
   
   <li>An instance of a <strong>Process Execution</strong> represents an activity that has an effect on entities, namely it either <em>generates</em> or <em>uses</em> one or more entities. Use and generation are modelled by means of the <strong>used</strong> and the <strong>wasGeneratedBy</strong> relationships. Additionally, one can use the <strong>hadParticipant</strong> relation to indicate participation of an Entity in a Process Execution.  Activities may include not only computations, but also any other type of activity that can be described in terms of their effect on entities.
@@ -617,12 +617,12 @@
 
 
 
-<p>An instance of an entity expression, noted <span class="name">entity(id, [ attr1=val1, ...])</span> in PROV-ASN:
+<p>An instance of an entity expression, noted <span class="name">entity(id, [ attr1=val1, ...])</span> in PROV-ASN:</p>
 <ul>
 <li> contains an identifier <span class="name">id</span> identifying a characterized thing;</li>
 <li> contains a set of attribute-value pairs <span class="name">[ attr1=val1, ...]</span>, representing this characterized thing's situation in the world.</li>
 </ul>
-</p>
+
 
 <p>
 The assertion of an instance of an entity expression, <span class="name">entity(id, [ attr1=val1, ...])</span>, states, from a given asserter's viewpoint, the existence of an identifiable characterized thing, whose situation in the world is represented by the attribute-value pairs, which remain unchanged during a characterization interval, i.e. a continuous interval between two events in the world. 
@@ -631,12 +631,12 @@
 
 
 <p>
-The following entity assertion,
+The following entity assertion,</p>
 <pre class="example">
 entity(e0, [ type="File", location="/shared/crime.txt", creator="Alice" ])
 </pre>
 states the existence of a thing of type File and location /shared/crime.txt,  and creator alice, denoted by identifier e0, during some characterization interval.
-</p>
+
 
 Further considerations:
 <ul>
@@ -702,18 +702,18 @@
 
 <p>Such start and end times constitute <em>attributes</em> of an activity, where the meaning of attribute in the context of a process execution expression is similar to the meaning of attribute for entity expression. A process execution expression's attribute remains constant for the duration of the activity it represents.  Further characteristics of the activity in the world can be represented by other attribute-value pairs, which MUST also remain unchanged during the activity duration.</p>
 
-<p> An instance of a process execution expression, noted <span class="name">processExecution(id, rl, st, et, [ attr1=val1, ...])</span> in PROV-ASN:
+<p> An instance of a process execution expression, noted <span class="name">processExecution(id, rl, st, et, [ attr1=val1, ...])</span> in PROV-ASN:</p>
 <ul>
-<li> contains an identifier <span class="name">id</span>;
-<li> MAY contain a <a href="#expression-RecipeLink">recipe link</a> <span class="name">rl</span>, which consists of a domain specific description of the activity;
-<li> MAY contain a start time <span class="name">st</sp1an>;
-<li> MAY contain an end time <span class="name">et</span>;
+<li> contains an identifier <span class="name">id</span>;</li>
+<li> MAY contain a <a href="#expression-RecipeLink">recipe link</a> <span class="name">rl</span>, which consists of a domain specific description of the activity;</li>
+<li> MAY contain a start time <span class="name">st</span>;</li>
+<li> MAY contain an end time <span class="name">et</span>;</li>
 <li> contains a set of attribute-value pairs <span class="name">[ attr1=val1, ...]</span>, representing other attributes of this activity that hold for its all duration.</li>
 </ul>
-</p>
+
 
 <p>
-The following process execution assertion
+The following process execution assertion</p>
 <pre class="example">
 processExecution(pe1,add-crime-in-london,t+1,t+1+epsilon,[host="server.example.com"])
 </pre>