Add constraint links
authorT Dong Huynh <tdh@ecs.soton.ac.uk>
Thu, 29 Nov 2012 16:48:26 +0000
changeset 5196 7affb36d9d6b
parent 5195 9aff414d5d2f
child 5197 a4c3ce5bc3af
Add constraint links
testcases/process.html
--- a/testcases/process.html	Thu Nov 29 16:34:30 2012 +0000
+++ b/testcases/process.html	Thu Nov 29 16:48:26 2012 +0000
@@ -519,7 +519,7 @@
   </tr> 
   <tr>
     <td><b>unification-activity-s1-PASS-c22</b></td>
-    <td>22</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object">Constraint 22 (key-object)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s1-PASS-c22.ttl" title="unification-activity-s1-PASS-c22.ttl">RDF</a>
@@ -529,7 +529,7 @@
   </tr> 
   <tr>
     <td><b>unification-activity-s2-PASS-c22</b></td>
-    <td>22</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object">Constraint 22 (key-object)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s2-PASS-c22.ttl" title="unification-activity-s2-PASS-c22.ttl">RDF</a>
@@ -539,7 +539,7 @@
   </tr> 
   <tr>
     <td><b>unification-activity-s3-PASS-c22</b></td>
-    <td>22</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object">Constraint 22 (key-object)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s3-PASS-c22.ttl" title="unification-activity-s3-PASS-c22.ttl">RDF</a>
@@ -549,7 +549,7 @@
   </tr> 
   <tr>
     <td><b>unification-activity-s4-PASS-c22</b></td>
-    <td>22</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object">Constraint 22 (key-object)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s4-PASS-c22.ttl" title="unification-activity-s4-PASS-c22.ttl">RDF</a>
@@ -579,7 +579,7 @@
   </tr> 
   <tr>
     <td><b>unification-association-f1-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f1-FAIL-c23.ttl" title="unification-association-f1-FAIL-c23.ttl">RDF</a>
@@ -589,7 +589,7 @@
   </tr> 
   <tr>
     <td><b>unification-association-f2-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f2-FAIL-c23.ttl" title="unification-association-f2-FAIL-c23.ttl">RDF</a>
@@ -599,7 +599,7 @@
   </tr> 
   <tr>
     <td><b>unification-association-f3-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f3-FAIL-c23.ttl" title="unification-association-f3-FAIL-c23.ttl">RDF</a>
@@ -609,7 +609,7 @@
   </tr> 
   <tr>
     <td><b>unification-association-f4-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f4-FAIL-c23.ttl" title="unification-association-f4-FAIL-c23.ttl">RDF</a>
@@ -619,7 +619,7 @@
   </tr> 
   <tr>
     <td><b>unification-association-f5-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f5-FAIL-c23.ttl" title="unification-association-f5-FAIL-c23.ttl">RDF</a>
@@ -639,7 +639,7 @@
   </tr> 
   <tr>
     <td><b>unification-association-s1-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s1-PASS-c23.ttl" title="unification-association-s1-PASS-c23.ttl">RDF</a>
@@ -649,7 +649,7 @@
   </tr> 
   <tr>
     <td><b>unification-association-s2-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s2-PASS-c23.ttl" title="unification-association-s2-PASS-c23.ttl">RDF</a>
@@ -659,7 +659,7 @@
   </tr> 
   <tr>
     <td><b>unification-association-s3-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s3-PASS-c23.ttl" title="unification-association-s3-PASS-c23.ttl">RDF</a>
@@ -669,7 +669,7 @@
   </tr> 
   <tr>
     <td><b>unification-association-s4-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s4-PASS-c23.ttl" title="unification-association-s4-PASS-c23.ttl">RDF</a>
@@ -679,7 +679,7 @@
   </tr> 
   <tr>
     <td><b>unification-association-s5-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s5-PASS-c23.ttl" title="unification-association-s5-PASS-c23.ttl">RDF</a>
@@ -689,7 +689,7 @@
   </tr> 
   <tr>
     <td><b>unification-attributes-activity-s1-PASS-c22</b></td>
-    <td>22</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object">Constraint 22 (key-object)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-activity-s1-PASS-c22.ttl" title="unification-attributes-activity-s1-PASS-c22.ttl">RDF</a>
@@ -699,7 +699,7 @@
   </tr> 
   <tr>
     <td><b>unification-attributes-end-s1-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s1-PASS-c23.ttl" title="unification-attributes-end-s1-PASS-c23.ttl">RDF</a>
@@ -709,7 +709,7 @@
   </tr> 
   <tr>
     <td><b>unification-attributes-end-s2-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s2-PASS-c23.ttl" title="unification-attributes-end-s2-PASS-c23.ttl">RDF</a>
@@ -719,7 +719,7 @@
   </tr> 
   <tr>
     <td><b>unification-attributes-entity-s1-PASS-c22</b></td>
-    <td>22</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object">Constraint 22 (key-object)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-entity-s1-PASS-c22.ttl" title="unification-attributes-entity-s1-PASS-c22.ttl">RDF</a>
@@ -729,7 +729,7 @@
   </tr> 
   <tr>
     <td><b>unification-attributes-start-s1-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s1-PASS-c23.ttl" title="unification-attributes-start-s1-PASS-c23.ttl">RDF</a>
@@ -739,7 +739,7 @@
   </tr> 
   <tr>
     <td><b>unification-attributes-start-s2-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s2-PASS-c23.ttl" title="unification-attributes-start-s2-PASS-c23.ttl">RDF</a>
@@ -769,7 +769,7 @@
   </tr> 
   <tr>
     <td><b>unification-attribution-s1-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s1-PASS-c23.ttl" title="unification-attribution-s1-PASS-c23.ttl">RDF</a>
@@ -779,7 +779,7 @@
   </tr> 
   <tr>
     <td><b>unification-attribution-s2-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s2-PASS-c23.ttl" title="unification-attribution-s2-PASS-c23.ttl">RDF</a>
@@ -789,7 +789,7 @@
   </tr> 
   <tr>
     <td><b>unification-attribution-s3-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s3-PASS-c23.ttl" title="unification-attribution-s3-PASS-c23.ttl">RDF</a>
@@ -799,7 +799,7 @@
   </tr> 
   <tr>
     <td><b>unification-attribution-s4-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.ttl" title="unification-attribution-s4-PASS-c23.ttl">RDF</a>
@@ -839,7 +839,7 @@
   </tr> 
   <tr>
     <td><b>unification-communication-s1-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s1-PASS-c23.ttl" title="unification-communication-s1-PASS-c23.ttl">RDF</a>
@@ -849,7 +849,7 @@
   </tr> 
   <tr>
     <td><b>unification-communication-s2-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s2-PASS-c23.ttl" title="unification-communication-s2-PASS-c23.ttl">RDF</a>
@@ -859,7 +859,7 @@
   </tr> 
   <tr>
     <td><b>unification-communication-s3-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s3-PASS-c23.ttl" title="unification-communication-s3-PASS-c23.ttl">RDF</a>
@@ -869,7 +869,7 @@
   </tr> 
   <tr>
     <td><b>unification-communication-s4-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s4-PASS-c23.ttl" title="unification-communication-s4-PASS-c23.ttl">RDF</a>
@@ -879,7 +879,7 @@
   </tr> 
   <tr>
     <td><b>unification-delegation-f1-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f1-FAIL-c23.ttl" title="unification-delegation-f1-FAIL-c23.ttl">RDF</a>
@@ -889,7 +889,7 @@
   </tr> 
   <tr>
     <td><b>unification-delegation-f2-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f2-FAIL-c23.ttl" title="unification-delegation-f2-FAIL-c23.ttl">RDF</a>
@@ -899,7 +899,7 @@
   </tr> 
   <tr>
     <td><b>unification-delegation-f3-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f3-FAIL-c23.ttl" title="unification-delegation-f3-FAIL-c23.ttl">RDF</a>
@@ -919,7 +919,7 @@
   </tr> 
   <tr>
     <td><b>unification-delegation-s1-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s1-PASS-c23.ttl" title="unification-delegation-s1-PASS-c23.ttl">RDF</a>
@@ -929,7 +929,7 @@
   </tr> 
   <tr>
     <td><b>unification-delegation-s2-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s2-PASS-c23.ttl" title="unification-delegation-s2-PASS-c23.ttl">RDF</a>
@@ -939,7 +939,7 @@
   </tr> 
   <tr>
     <td><b>unification-delegation-s3-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s3-PASS-c23.ttl" title="unification-delegation-s3-PASS-c23.ttl">RDF</a>
@@ -949,7 +949,7 @@
   </tr> 
   <tr>
     <td><b>unification-delegation-s4-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s4-PASS-c23.ttl" title="unification-delegation-s4-PASS-c23.ttl">RDF</a>
@@ -959,7 +959,7 @@
   </tr> 
   <tr>
     <td><b>unification-delegation-s5-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s5-PASS-c23.ttl" title="unification-delegation-s5-PASS-c23.ttl">RDF</a>
@@ -969,7 +969,7 @@
   </tr> 
   <tr>
     <td><b>unification-derivation-f1-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f1-FAIL-c23.ttl" title="unification-derivation-f1-FAIL-c23.ttl">RDF</a>
@@ -979,7 +979,7 @@
   </tr> 
   <tr>
     <td><b>unification-derivation-f2-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f2-FAIL-c23.ttl" title="unification-derivation-f2-FAIL-c23.ttl">RDF</a>
@@ -989,7 +989,7 @@
   </tr> 
   <tr>
     <td><b>unification-derivation-f3-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f3-FAIL-c23.ttl" title="unification-derivation-f3-FAIL-c23.ttl">RDF</a>
@@ -999,7 +999,7 @@
   </tr> 
   <tr>
     <td><b>unification-derivation-f4-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f4-FAIL-c23.ttl" title="unification-derivation-f4-FAIL-c23.ttl">RDF</a>
@@ -1009,7 +1009,7 @@
   </tr> 
   <tr>
     <td><b>unification-derivation-s1-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s1-PASS-c23.ttl" title="unification-derivation-s1-PASS-c23.ttl">RDF</a>
@@ -1019,7 +1019,7 @@
   </tr> 
   <tr>
     <td><b>unification-derivation-s2-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s2-PASS-c23.ttl" title="unification-derivation-s2-PASS-c23.ttl">RDF</a>
@@ -1029,7 +1029,7 @@
   </tr> 
   <tr>
     <td><b>unification-derivation-s3-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s3-PASS-c23.ttl" title="unification-derivation-s3-PASS-c23.ttl">RDF</a>
@@ -1039,7 +1039,7 @@
   </tr> 
   <tr>
     <td><b>unification-derivation-s4-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s4-PASS-c23.ttl" title="unification-derivation-s4-PASS-c23.ttl">RDF</a>
@@ -1049,7 +1049,7 @@
   </tr> 
   <tr>
     <td><b>unification-derivation-s5-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s5-PASS-c23.ttl" title="unification-derivation-s5-PASS-c23.ttl">RDF</a>
@@ -1059,7 +1059,7 @@
   </tr> 
   <tr>
     <td><b>unification-end-f1-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f1-FAIL-c23.ttl" title="unification-end-f1-FAIL-c23.ttl">RDF</a>
@@ -1069,7 +1069,7 @@
   </tr> 
   <tr>
     <td><b>unification-end-f2-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f2-FAIL-c23.ttl" title="unification-end-f2-FAIL-c23.ttl">RDF</a>
@@ -1079,7 +1079,7 @@
   </tr> 
   <tr>
     <td><b>unification-end-f3-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f3-FAIL-c23.ttl" title="unification-end-f3-FAIL-c23.ttl">RDF</a>
@@ -1099,7 +1099,7 @@
   </tr> 
   <tr>
     <td><b>unification-end-f5-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f5-FAIL-c23.ttl" title="unification-end-f5-FAIL-c23.ttl">RDF</a>
@@ -1179,7 +1179,7 @@
   </tr> 
   <tr>
     <td><b>unification-generation-f2-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f2-FAIL-c23.ttl" title="unification-generation-f2-FAIL-c23.ttl">RDF</a>
@@ -1189,7 +1189,7 @@
   </tr> 
   <tr>
     <td><b>unification-generation-f3-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f3-FAIL-c23.ttl" title="unification-generation-f3-FAIL-c23.ttl">RDF</a>
@@ -1199,7 +1199,7 @@
   </tr> 
   <tr>
     <td><b>unification-generation-f4-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f4-FAIL-c23.ttl" title="unification-generation-f4-FAIL-c23.ttl">RDF</a>
@@ -1209,7 +1209,7 @@
   </tr> 
   <tr>
     <td><b>unification-generation-f5-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f5-FAIL-c23.ttl" title="unification-generation-f5-FAIL-c23.ttl">RDF</a>
@@ -1219,7 +1219,7 @@
   </tr> 
   <tr>
     <td><b>unification-generation-f6-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f6-FAIL-c23.ttl" title="unification-generation-f6-FAIL-c23.ttl">RDF</a>
@@ -1229,7 +1229,7 @@
   </tr> 
   <tr>
     <td><b>unification-generation-f7-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f7-FAIL-c23.ttl" title="unification-generation-f7-FAIL-c23.ttl">RDF</a>
@@ -1239,7 +1239,7 @@
   </tr> 
   <tr>
     <td><b>unification-generation-s1-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s1-PASS-c23.ttl" title="unification-generation-s1-PASS-c23.ttl">RDF</a>
@@ -1249,7 +1249,7 @@
   </tr> 
   <tr>
     <td><b>unification-generation-s2-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s2-PASS-c23.ttl" title="unification-generation-s2-PASS-c23.ttl">RDF</a>
@@ -1279,7 +1279,7 @@
   </tr> 
   <tr>
     <td><b>unification-generation-s5-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s5-PASS-c23.ttl" title="unification-generation-s5-PASS-c23.ttl">RDF</a>
@@ -1289,7 +1289,7 @@
   </tr> 
   <tr>
     <td><b>unification-generation-s6-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s6-PASS-c23.ttl" title="unification-generation-s6-PASS-c23.ttl">RDF</a>
@@ -1339,7 +1339,7 @@
   </tr> 
   <tr>
     <td><b>unification-influence-s1-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-s1-PASS-c23.ttl" title="unification-influence-s1-PASS-c23.ttl">RDF</a>
@@ -1359,7 +1359,7 @@
   </tr> 
   <tr>
     <td><b>unification-invalidation-f2-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f2-FAIL-c23.ttl" title="unification-invalidation-f2-FAIL-c23.ttl">RDF</a>
@@ -1369,7 +1369,7 @@
   </tr> 
   <tr>
     <td><b>unification-invalidation-f3-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f3-FAIL-c23.ttl" title="unification-invalidation-f3-FAIL-c23.ttl">RDF</a>
@@ -1379,7 +1379,7 @@
   </tr> 
   <tr>
     <td><b>unification-invalidation-f4-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f4-FAIL-c23.ttl" title="unification-invalidation-f4-FAIL-c23.ttl">RDF</a>
@@ -1419,7 +1419,7 @@
   </tr> 
   <tr>
     <td><b>unification-invalidation-s1-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s1-PASS-c23.ttl" title="unification-invalidation-s1-PASS-c23.ttl">RDF</a>
@@ -1429,7 +1429,7 @@
   </tr> 
   <tr>
     <td><b>unification-invalidation-s2-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s2-PASS-c23.ttl" title="unification-invalidation-s2-PASS-c23.ttl">RDF</a>
@@ -1449,7 +1449,7 @@
   </tr> 
   <tr>
     <td><b>unification-invalidation-s5-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s5-PASS-c23.ttl" title="unification-invalidation-s5-PASS-c23.ttl">RDF</a>
@@ -1459,7 +1459,7 @@
   </tr> 
   <tr>
     <td><b>unification-invalidation-s6-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s6-PASS-c23.ttl" title="unification-invalidation-s6-PASS-c23.ttl">RDF</a>
@@ -1539,7 +1539,7 @@
   </tr> 
   <tr>
     <td><b>unification-start-f1-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f1-FAIL-c23.ttl" title="unification-start-f1-FAIL-c23.ttl">RDF</a>
@@ -1549,7 +1549,7 @@
   </tr> 
   <tr>
     <td><b>unification-start-f2-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f2-FAIL-c23.ttl" title="unification-start-f2-FAIL-c23.ttl">RDF</a>
@@ -1559,7 +1559,7 @@
   </tr> 
   <tr>
     <td><b>unification-start-f3-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f3-FAIL-c23.ttl" title="unification-start-f3-FAIL-c23.ttl">RDF</a>
@@ -1579,7 +1579,7 @@
   </tr> 
   <tr>
     <td><b>unification-start-f5-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f5-FAIL-c23.ttl" title="unification-start-f5-FAIL-c23.ttl">RDF</a>
@@ -1589,7 +1589,7 @@
   </tr> 
   <tr>
     <td><b>unification-start-f6-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f6-FAIL-c23.ttl" title="unification-start-f6-FAIL-c23.ttl">RDF</a>
@@ -1599,7 +1599,7 @@
   </tr> 
   <tr>
     <td><b>unification-start-f7-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f7-FAIL-c23.ttl" title="unification-start-f7-FAIL-c23.ttl">RDF</a>
@@ -1609,7 +1609,7 @@
   </tr> 
   <tr>
     <td><b>unification-start-f8-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f8-FAIL-c23.ttl" title="unification-start-f8-FAIL-c23.ttl">RDF</a>
@@ -1709,7 +1709,7 @@
   </tr> 
   <tr>
     <td><b>unification-usage-f2-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f2-FAIL-c23.ttl" title="unification-usage-f2-FAIL-c23.ttl">RDF</a>
@@ -1719,7 +1719,7 @@
   </tr> 
   <tr>
     <td><b>unification-usage-f3-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f3-FAIL-c23.ttl" title="unification-usage-f3-FAIL-c23.ttl">RDF</a>
@@ -1729,7 +1729,7 @@
   </tr> 
   <tr>
     <td><b>unification-usage-f4-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f4-FAIL-c23.ttl" title="unification-usage-f4-FAIL-c23.ttl">RDF</a>
@@ -1739,7 +1739,7 @@
   </tr> 
   <tr>
     <td><b>unification-usage-f5-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f5-FAIL-c23.ttl" title="unification-usage-f5-FAIL-c23.ttl">RDF</a>
@@ -1749,7 +1749,7 @@
   </tr> 
   <tr>
     <td><b>unification-usage-f6-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f6-FAIL-c23.ttl" title="unification-usage-f6-FAIL-c23.ttl">RDF</a>
@@ -1759,7 +1759,7 @@
   </tr> 
   <tr>
     <td><b>unification-usage-f7-FAIL-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>FAIL</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f7-FAIL-c23.ttl" title="unification-usage-f7-FAIL-c23.ttl">RDF</a>
@@ -1769,7 +1769,7 @@
   </tr> 
   <tr>
     <td><b>unification-usage-s1-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s1-PASS-c23.ttl" title="unification-usage-s1-PASS-c23.ttl">RDF</a>
@@ -1779,7 +1779,7 @@
   </tr> 
   <tr>
     <td><b>unification-usage-s2-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s2-PASS-c23.ttl" title="unification-usage-s2-PASS-c23.ttl">RDF</a>
@@ -1789,7 +1789,7 @@
   </tr> 
   <tr>
     <td><b>unification-usage-s5-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s5-PASS-c23.ttl" title="unification-usage-s5-PASS-c23.ttl">RDF</a>
@@ -1799,7 +1799,7 @@
   </tr> 
   <tr>
     <td><b>unification-usage-s6-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s6-PASS-c23.ttl" title="unification-usage-s6-PASS-c23.ttl">RDF</a>
@@ -1809,7 +1809,7 @@
   </tr> 
   <tr>
     <td><b>unification-usage-s7-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s7-PASS-c23.ttl" title="unification-usage-s7-PASS-c23.ttl">RDF</a>
@@ -1819,7 +1819,7 @@
   </tr> 
   <tr>
     <td><b>unification-usage-s8-PASS-c23</b></td>
-    <td>23</td>
+    <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
     <td>PASS</td>
     <td>
       <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s8-PASS-c23.ttl" title="unification-usage-s8-PASS-c23.ttl">RDF</a>
@@ -2886,7 +2886,7 @@
 <th>Fail Test Cases</th>
 </tr>
 <tr>
-<td>22</td>
+<td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object">Constraint 22 (key-object)</a></td>
 <td>unification-activity-s1-PASS-c22<br>
 unification-activity-s2-PASS-c22<br>
 unification-activity-s3-PASS-c22<br>
@@ -2896,7 +2896,7 @@
 <td></td>
 </tr>
 <tr>
-<td>23</td>
+<td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
 <td>unification-association-s1-PASS-c23<br>
 unification-association-s2-PASS-c23<br>
 unification-association-s3-PASS-c23<br>