--- a/model/prov-dm-constraints.html	Mon Apr 02 07:50:40 2012 +0100
+++ b/model/prov-dm-constraints.html	Mon Apr 02 08:01:00 2012 +0100
@@ -1019,7 +1019,7 @@
 </div>
 
 
-<p>Specialization is <em>not transitive</em>. Indeed if <span class="name">specializationOf(e1,e2)</span> holds, then there is some common thing, say <span class="name">e1-2</span> they both refer to. Likewise, if <span class="name">specializationOf(e2,e3)</span> holds, then there is some common thing, say <span class="name">e2-3</span> they both refer to.  It does not follow there is a common thing both  <span class="name">e1</span> and <span class="name">e3</span> refer to.</p>
+<p>Specialization is <em>not transitive</em>. Indeed if <span class="name">specializationOf(e1,e2)</span> holds, then there is some common thing, say <span class="name">e1-2</span> they both are both interpreted as, under some interpretation. Likewise, if <span class="name">specializationOf(e2,e3)</span> holds, then there is some common thing, say <span class="name">e2-3</span> they are both interpreted as, under some intepretation.  It does not follow that  <span class="name">e1</span> and <span class="name">e3</span> are interpreted as a same thing.</p>
 
 <div class="anexample" id="anexample-specialization-not-transitive">