--- a/model/ProvenanceModel.html	Tue Dec 20 08:41:16 2011 +0000
+++ b/model/ProvenanceModel.html	Tue Dec 20 10:29:51 2011 +0000
@@ -2038,7 +2038,7 @@
 One may make several assertions to establish that these entity records refer to the same entity "Bob", either in different contexts, or at different levels of abstraction. For example:
 
 <ol>
-  <li> <span class="name">e2</span> provides a more concrete characterization of Bob than <span class="name">e1</span> does
+  <li> Each of <span class="name">e1</span> , <span class="name">e2</span> provide a <em>more concrete</em> characterization of Bob than <span class="name">e3</span> does
 
   <li>  <span class="name">e1</span> and  <span class="name">e2</span> provide two different characterizations of the same entity.
 </ol>
@@ -2072,7 +2072,7 @@
 As we know from [entity record], entity records may only be valid within certain event's interval. Let  <span class="name">char(e)</span> denote the validity interval of  <span class="name">e</span>.
 
   When these intervals are known, relations <span class="name">ViewOf(e2,e1)</span> and <span class="name">foobar(e2,e1)</span> can only be asserted if
-the characterization interval of <span class="name">e1</span> is a sub-interval of that of <span class="name">e2</span>. This condition ensures transitivity.
+the validity interval of <span class="name">e1</span> is a sub-interval of that of <span class="name">e2</span>. This condition ensures transitivity.
 
   
 <!--