--- a/model/prov-constraints.html	Thu Jul 19 10:22:00 2012 +0100
+++ b/model/prov-constraints.html	Thu Jul 19 10:40:15 2012 +0100
@@ -1639,9 +1639,9 @@
   </p>
   <div class='constraint' id='key-relation2'>
     <p>The <span
-  class="name">id</span> field is a KEY for <span
+  class="name">id</span> field is a KEY for statements of the form <span
   class="name">r(id;a_1,...,a_n)</span>
-for any relation type r in { 
+where r is in { 
 <span class="name">used</span>,
 <span class="name">wasGeneratedBy</span>,
 <span class="name">wasInfluencedBy</span>,