--- a/model/prov-constraints.html	Thu Jun 07 23:35:56 2012 +0100
+++ b/model/prov-constraints.html	Thu Jun 07 23:53:57 2012 +0100
@@ -915,6 +915,20 @@
     For any entities  <span class='name'>e1</span>, <span class='name'>e2</span>, <span class='conditional'>IF</span> <span class='name'>specializationOf(e1,e2)</span> <span class='conditional'>THEN</span> <span class='name'>alternateOf(e1,e2)</span>.</p>
     </div> 
 
+<p>
+
+<hr>
+
+    <p id="contextualization-specialization_text">If one entity is a contextualization of another in a bundle, then the former is also a specialization of the latter:</p>
+    
+       <div class='inference' id="contextualization-specialization">
+<p>
+    For any entities  <span class='name'>e1</span>, <span class='name'>e2</span>, <span class='conditional'>IF</span> <span class='name'>contextualizationOf(e2,e1,b)</span> <span class='conditional'>THEN</span> <span class='name'>specializationOf(e2,e1)</span>.</p>
+    </div> 
+
+<p>
+
+
 
    <div class="note">TODO: Possible inferences about attributes,
   generation, invalidation?