--- a/model/ProvenanceModel.html	Thu Dec 15 15:15:54 2011 +0000
+++ b/model/ProvenanceModel.html	Thu Dec 15 15:20:38 2011 +0000
@@ -1979,7 +1979,7 @@
 <ul>
 <li> <strong>symmetry</strong>: if <span class="name">ViewOf(e2,e1)</span> holds in some event interval, then  <span class="name">ViewOf(e1,e2)</span> also holds in the same interval.
 
-<li> <strong>pseudo-transitivity</strong>: Given three entity records  <span class="name">e1,e2,e3</span> <em>with overlapping validity intervals</em>: if <span class="name">ViewOf(e3,e2)</span> and <span class="name">ViewOf(e2,e1)</span> hold, then <span class="name">ViewOf(e3,e1)</span> also holds <em>for the extent of their common interval. <br/>
+<li> <strong>pseudo-transitivity</strong>: Given three entity records  <span class="name">e1,e2,e3</span> <em>with overlapping validity intervals</em>: if <span class="name">ViewOf(e3,e2)</span> and <span class="name">ViewOf(e2,e1)</span> hold, then <span class="name">ViewOf(e3,e1)</span> also holds <em>for the extent of their common interval</em>. <br/>
 
   </ul>
   Note that this second property is a weak form of transitivity, which only applies on condition that the derived transitive assertion  <span class="name">ViewOf(e3,e1)</span> is meaningful, that is, that the validity interval of the involved entity records do overlap.