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