--- a/model/prov-constraints.html	Mon Aug 06 17:03:43 2012 +0100
+++ b/model/prov-constraints.html	Mon Aug 06 17:24:44 2012 +0100
@@ -2585,7 +2585,7 @@
 <span class="name">wasInvalidatedBy(inv;e,_a2,_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
 <span class="name">gen</span> 
-<a title="precedes">strictly precedes</a>
+<a title="precedes">precedes</a>
 <span class="name">inv</span>. 
 </p>
 </div>