--- a/model/prov-constraints.html	Fri Jul 20 11:03:24 2012 -0500
+++ b/model/prov-constraints.html	Fri Jul 20 17:17:14 2012 +0100
@@ -1993,7 +1993,8 @@
    <span class='name'>mentionOf(infra, supra,bundle)</span>  
 <span class='conditional'>THEN</span> 
 <span class="name">entity(infra,[])</span> AND 
-<span class="name">entity(supra,[])</span> 
+<span class="name">entity(supra,[])</span> AND
+<span class="name">entity(bundle,[prov:type='prov:bundle'])</span>
  hold.
     </div>
 </td>