--- a/model/prov-constraints.html	Mon Jul 23 13:09:25 2012 +0100
+++ b/model/prov-constraints.html	Mon Jul 23 13:14:32 2012 +0100
@@ -667,7 +667,6 @@
 	<td><a class="rule-text" href="#generation-use-communication-inference"><span>TBD</span></a><br>
 		<a class="rule-text" href="#derivation-use"><span>TBD</span></a><br>
 		<a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
-		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 		<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
 		<a class="rule-text" href="#unique-generation"><span>TBD</span></a><br>
 		<a class="rule-text" href="#generation-within-activity"><span>TBD</span></a><br>
@@ -682,36 +681,36 @@
 		<a class="rule-text" href="#wasAttributedTo-ordering"><span>TBD</span></a><br>
 		<a class="rule-text" href="#actedOnBehalfOf-ordering"><span>TBD</span></a><br>
 		<a class="rule-text" href="#impossible-property-overlap"><span>TBD</span></a><br>
+		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 	</td>
 </tr>
 <tr class="component1-color">
 	<td class="essential"><a>Usage</a></td>
 	<td><a class="rule-text" href="#generation-use-communication-inference"><span>TBD</span></a><br>
 		<a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
-		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 		<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
 		<a class="rule-text" href="#usage-within-activity"><span>TBD</span></a><br>
 		<a class="rule-text" href="#generation-precedes-usage"><span>TBD</span></a><br>
 		<a class="rule-text" href="#usage-precedes-invalidation"><span>TBD</span></a><br>
 		<a class="rule-text" href="#derivation-usage-generation-ordering"><span>TBD</span></a><br>
 		<a class="rule-text" href="#impossible-property-overlap"><span>TBD</span></a><br>
+		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 	</td>
 </tr>
 <tr class="component1-color">
 	<td class="essential"><a>Communication</a></td>
 	<td><a class="rule-text" href="#communication-generation-use-inference"><span>TBD</span></a><br>
 		<a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
-		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 		<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
 		<a class="rule-text" href="#wasInformedBy-ordering"><span>TBD</span></a><br>
 		<a class="rule-text" href="#impossible-property-overlap"><span>TBD</span></a><br>
+		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 	</td>
 </tr>
 <tr class="component1-color">
 	<td class="essential"><a>Start</a></td>
 	<td><a class="rule-text" href="#wasStartedBy-inference"><span>TBD</span></a><br>
 		<a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
-		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 		<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
 		<a class="rule-text" href="#unique-wasStartedBy"><span>TBD</span></a><br>
 		<a class="rule-text" href="#unique-startTime"><span>TBD</span></a><br>
@@ -722,13 +721,13 @@
 		<a class="rule-text" href="#wasStartedBy-ordering"><span>TBD</span></a><br>
 		<a class="rule-text" href="#wasAssociatedWith-ordering"><span>TBD</span></a><br>
 		<a class="rule-text" href="#impossible-property-overlap"><span>TBD</span></a><br>
+		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 	</td>
 </tr>
 <tr class="component1-color">
 	<td class="essential"><a>End</a></td>
 	<td><a class="rule-text" href="#wasEndedBy-inference"><span>TBD</span></a><br>
 		<a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
-		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 		<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
 		<a class="rule-text" href="#unique-wasEndedBy"><span>TBD</span></a><br>
 		<a class="rule-text" href="#unique-endTime"><span>TBD</span></a><br>
@@ -739,12 +738,12 @@
 		<a class="rule-text" href="#wasEndedBy-ordering"><span>TBD</span></a><br>
 		<a class="rule-text" href="#wasAssociatedWith-ordering"><span>TBD</span></a><br>
 		<a class="rule-text" href="#impossible-property-overlap"><span>TBD</span></a><br>
+		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 	</td>
 </tr>
 <tr class="component1-color">
 	<td class="essential"><a>Invalidation</a></td>
 	<td><a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
-		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 		<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
 		<a class="rule-text" href="#unique-invalidation"><span>TBD</span></a><br>
 		<a class="rule-text" href="#generation-precedes-invalidation"><span>TBD</span></a><br>
@@ -756,6 +755,7 @@
 		<a class="rule-text" href="#wasAttributedTo-ordering"><span>TBD</span></a><br>
 		<a class="rule-text" href="#actedOnBehalfOf-ordering"><span>TBD</span></a><br>
 		<a class="rule-text" href="#impossible-property-overlap"><span>TBD</span></a><br>
+		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 	</td>
 </tr>
 <tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
@@ -767,10 +767,10 @@
 		<a class="rule-text" href="#derivation-use"><span>TBD</span></a><br>
 		<a class="rule-text" href="#specific-derivation-inference"><span>TBD</span></a><br>
 		<a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
-		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 		<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
 		<a class="rule-text" href="#derivation-usage-generation-ordering"><span>TBD</span></a><br>
 		<a class="rule-text" href="#derivation-generation-generation-ordering"><span>TBD</span></a><br>
+		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 	</td>
 	<td  rowspan="5"><a href="http://www.w3.org/TR/prov-dm/#component2">Component 2: Derivations</a></td>
 </tr>
@@ -803,29 +803,29 @@
 	<td class="essential"><a>Attribution</a></td>
 	<td><a class="rule-text" href="#attribution-inference"><span>TBD</span></a><br>
 		<a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
-		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 		<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
 		<a class="rule-text" href="#wasAttributedTo-ordering"><span>TBD</span></a><br>
 		<a class="rule-text" href="#impossible-property-overlap"><span>TBD</span></a><br>
+		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 	</td>
 </tr>
 <tr class="component3-color">
 	<td class="essential"><a>Association</a></td>
 	<td><a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
-		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 		<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
 		<a class="rule-text" href="#wasAssociatedWith-ordering"><span>TBD</span></a><br>
 		<a class="rule-text" href="#impossible-property-overlap"><span>TBD</span></a><br>
+		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 	</td>
 </tr>
 <tr class="component3-color">
 	<td class="essential"><a>Delegation</a></td>
 	<td><a class="rule-text" href="#delegation-inference"><span>TBD</span></a><br>
 		<a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
-		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 		<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
 		<a class="rule-text" href="#actedOnBehalfOf-ordering"><span>TBD</span></a><br>
 		<a class="rule-text" href="#impossible-property-overlap"><span>TBD</span></a><br>
+		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 	</td>
 </tr>
 <tr class="component3-color">
@@ -862,17 +862,17 @@
 	<td><a class="rule-text" href="#specialization-transitive"><span>TBD</span></a><br>
 		<a class="rule-text" href="#specialization-alternate"><span>TBD</span></a><br>
 		<a class="rule-text" href="#specialization-attributes"><span>TBD</span></a><br>
-		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 		<a class="rule-text" href="#specialization-generation"><span>TBD</span></a><br>
 		<a class="rule-text" href="#specialization-invalidation"><span>TBD</span></a><br>
 		<a class="rule-text" href="#impossible-specialization-reflexive"><span>TBD</span></a><br>
+		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
 	</td>
 </tr>
 <tr class="component5-color">
 	<td><a>Mention</a></td>
 	<td><a class="rule-text" href="#mention-specialization"><span>TBD</span></a><br>
+		<a class="rule-text" href="#mention-unique"><span>TBD</span></a><br>
 		<a class="rule-text" href="#typing"><span>TBD</span></a><br>
-		<a class="rule-text" href="#mention-unique"><span>TBD</span></a><br>
 	</td>
 </tr>
 <tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>