--- a/model/prov-constraints.html	Wed Jul 04 09:48:02 2012 +0100
+++ b/model/prov-constraints.html	Wed Jul 04 10:04:20 2012 +0100
@@ -770,7 +770,7 @@
 <span class='conditional'>IF</span> <span
   class="name">activity(a,t1,t2,attrs)</span> <span
   class="conditional">THEN</span> <span
-  class="name">wasStartedBy(id;a,-,-,t1)</span> and <span class="name">wasEndedBy(id;a,-,-,t2)</span>.
+  class="name">wasStartedBy(-;a,-,-,t1)</span> and <span class="name">wasEndedBy(-;a,-,-,t2)</span>.
 </div>