--- a/model/ProvenanceModel.html	Mon Dec 19 12:52:18 2011 +0000
+++ b/model/ProvenanceModel.html	Tue Dec 20 08:41:16 2011 +0000
@@ -2069,10 +2069,10 @@
 
 <h5>Case of entities with known limited validity</h5>
 
-As we know from [entity record], entity records may only be valid within certain events interval. Let  <span class="name">val(e)</span> denote the validity interval of  <span class="name">e</span>.
+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
-<span class="name">val(e1)</span> is a sub-interval of  <span class="name">val(e2)</span>. This condition ensures transitivity.
+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.
 
   
 <!--