--- a/model/prov-constraints.html	Thu Jun 07 23:57:25 2012 +0100
+++ b/model/prov-constraints.html	Fri Jun 08 08:10:46 2012 +0100
@@ -919,6 +919,27 @@
 
 <hr>
 
+
+
+
+<div id='functional-contextualization_text'>
+<p>An entity can be the subject of at most one contextualization relation.</p>
+</div>
+
+
+<div class='constraint' id='functional-contextualization'>
+<p>
+Given an entity denoted by <span class="name">e</span>, two entities denoted by <span class="name">e1</span> and <span
+class="name">e2</span>, and two bundles denoted by  <span class="name">b1</span> and <span
+class="name">b2</span>,
+<span class='conditional'>IF</span> <span class="name">contentualizationOf(e, e1, b1)</span> and <span class="name">contentualizationOf(e, e2, b2)</span> exist,
+<span class='conditional'>THEN</span>  <span class="name">e1</span>=<span class="name">e2</span> and <span class="name">b1</span>=<span class="name">b2</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">
@@ -1318,6 +1339,7 @@
 </div> 
 
 
+<p>
 
 
 </section> <!-- uniqueness-constraints--> 

--- a/model/prov-dm.html	Thu Jun 07 23:57:25 2012 +0100
+++ b/model/prov-dm.html	Fri Jun 08 08:10:46 2012 +0100
@@ -2663,7 +2663,7 @@
 <p>User Alice writes an article. In its provenance, she wishes to refer to the precise version of the article with a date-specific IRI, as she might edit the article later. Alternatively, user Bob refers to the article in general, independently of its variants over time.</p>
 </div>
 <p>
-The PROV data model introduces relations, called specialization and alternate,
+The PROV data model introduces relations, called specialization, alternate, and contextualization,
 that allow entities  to be linked together. They are defined as follows. </p>