--- a/reports/prov-implementations.html	Wed Oct 17 16:51:59 2012 +0100
+++ b/reports/prov-implementations.html	Wed Oct 17 17:09:46 2012 +0100
@@ -720,13 +720,13 @@
           <td class="notused">&nbsp;</td>
         </tr>
         <tr>
-          <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#key-properties_text">Constraint 24 (key-properties)</a><a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text"></a></td>
+          <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#key-properties_text">Constraint 24 (key-properties)</a></td>
           <td class="implemented">&nbsp;</td>
           <td class="notused">&nbsp;</td>
           <td class="notused">&nbsp;</td>
         </tr>
         <tr>
-          <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#unique-generation_text">Constraint 25 (unique-generation)</a><a href="http://www.w3.org/TR/prov-constraints/#key-properties_text"></a></td>
+          <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#unique-generation_text">Constraint 25 (unique-generation)</a></td>
           <td class="implemented">&nbsp;</td>
           <td class="notused">&nbsp;</td>
           <td class="notused">&nbsp;</td>
@@ -774,7 +774,7 @@
           <td class="notused">&nbsp;</td>
         </tr>
         <tr>
-          <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#start-start-ordering_text">Constraint 33 (start-start-ordering)</a><a href="http://www.w3.org/TR/prov-constraints/#generation-use-communication-inference_text"></a></td>
+          <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#start-start-ordering_text">Constraint 33 (start-start-ordering)</a></td>
           <td class="implemented">&nbsp;</td>
           <td class="notused">&nbsp;</td>
           <td class="notused">&nbsp;</td>
@@ -792,13 +792,13 @@
           <td class="notused">&nbsp;</td>
         </tr>
         <tr>
-          <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#generation-within-activity_text">Constraint 36 (generation-within-activity)</a><a href="http://www.w3.org/TR/prov-constraints/#unique-generation_text"></a></td>
+          <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#generation-within-activity_text">Constraint 36 (generation-within-activity)</a></td>
           <td class="implemented">&nbsp;</td>
           <td class="notused">&nbsp;</td>
           <td class="notused">&nbsp;</td>
         </tr>
         <tr>
-          <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#wasInformedBy-ordering_text">Constraint 37 (wasInformedBy-ordering)</a><a href="http://www.w3.org/TR/prov-constraints/#generation-within-activity_text"></a></td>
+          <td class="feature"><a href="http://www.w3.org/TR/prov-constraints/#wasInformedBy-ordering_text">Constraint 37 (wasInformedBy-ordering)</a></td>
           <td class="implemented">&nbsp;</td>
           <td class="notused">&nbsp;</td>
           <td class="notused">&nbsp;</td>

--- a/testcases/constraints/process.html	Wed Oct 17 16:51:59 2012 +0100
+++ b/testcases/constraints/process.html	Wed Oct 17 17:09:46 2012 +0100
@@ -190,49 +190,73 @@
   </tr>
   <tr>
     <td><b>activity2</b></p></td>
-    <td>&nbsp;</td>
+    <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
+        <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
+        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
+    </td>
     <td>Success</p></td>
     <td>&nbsp;</td>
   </tr>
   <tr>
     <td><b>activity3</b></p></td>
-    <td>&nbsp;</td>
+    <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
+        <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
+        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
+    </td>
     <td>Success</p></td>
     <td>&nbsp;</td>
   </tr>
   <tr>
     <td><b>activity4</b></p></td>
-    <td>&nbsp;</td>
+    <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
+        <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
+        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
+    </td>
     <td>Success</p></td>
     <td>&nbsp;</td>
   </tr>
   <tr>
     <td><b>activity5</b></p></td>
-    <td>&nbsp;</td>
+    <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
+        <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
+        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
+    </td>
     <td>Success</p></td>
     <td>&nbsp;</td>
   </tr>
   <tr>
     <td><b>activity6</b></p></td>
-    <td>&nbsp;</td>
+    <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
+        <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
+        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
+    </td>
     <td>Success</p></td>
     <td>&nbsp;</td>
   </tr>
   <tr>
     <td><b>activity7</b></p></td>
-    <td>&nbsp;</td>
+    <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
+        <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
+        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
+    </td>
     <td>Success</p></td>
     <td>&nbsp;</td>
   </tr>
   <tr>
     <td><b>activity8</b></p></td>
-    <td>&nbsp;</td>
+    <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
+        <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
+        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
+    </td>
     <td>Success</p></td>
     <td>&nbsp;</td>
   </tr>
   <tr>
     <td><b>activity9</b></p></td>
-    <td>&nbsp;</td>
+    <td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
+        <a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
+        <a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)
+    </td>
     <td>Success</p></td>
     <td>&nbsp;</td>
   </tr>
@@ -292,13 +316,17 @@
   </tr>
   <tr>
     <td><b>association1</b></p></td>
-    <td><a href="http://www.w3.org/TR/prov-constraints/#typing_text">Constraint 52 (typing)</a></td>
+    <td><a href="http://www.w3.org/TR/prov-constraints/#key-properties_text">Constraint 24 (key-properties)</a><br />
+        <a href="http://www.w3.org/TR/prov-constraints/#typing_text">Constraint 52 (typing)</a>
+    </td>
     <td>Fail</p></td>
     <td>&nbsp;</td>
   </tr>
   <tr>
     <td><b>association2</b></p></td>
-    <td><a href="http://www.w3.org/TR/prov-constraints/#typing_text">Constraint 52 (typing)</a></td>
+    <td><a href="http://www.w3.org/TR/prov-constraints/#key-properties_text">Constraint 24 (key-properties)</a><br />
+        <a href="http://www.w3.org/TR/prov-constraints/#typing_text">Constraint 52 (typing)</a>
+    </td>
     <td>Fail</p></td>
     <td>&nbsp;</td>
   </tr>