--- a/model/prov-constraints.html	Wed Aug 15 14:25:29 2012 -0600
+++ b/model/prov-constraints.html	Thu Aug 16 13:04:24 2012 +0100
@@ -3523,20 +3523,20 @@
     <span class="conditional">IF</span>
 <span class="name">wasAttributedTo(_at; e,ag,_attrs)</span> 
 and
-<span class="name">wasGeneratedBy(gen1; e,_a1,_t1,_attrs1)</span> 
+<span class="name">wasGeneratedBy(gen1; ag,_a1,_t1,_attrs1)</span> 
 and
-<span class="name">wasGeneratedBy(gen2; ag,_a2,_t2,_attrs2)</span> 
+<span class="name">wasGeneratedBy(gen2; e,_a2,_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
-<span class="name">gen2</span> 
+<span class="name">gen1</span> 
 <a title="precedes">precedes</a>
-<span class="name">gen1</span>.
+<span class="name">gen2</span>.
   </li><li>
     <span class="conditional">IF</span>
 <span class="name">wasAttributedTo(_at; e,ag,_attrs)</span> 
 and
-<span class="name">wasGeneratedBy(gen; e,_a3,_t3,_attrs3)</span> 
+<span class="name">wasStartedBy(start; ag,_e3,_a3,_t3,_attrs3)</span> 
 and
-<span class="name">wasStartedBy(start; ag,_e4,_a4,_t4,_attrs4)</span> 
+<span class="name">wasGeneratedBy(gen; e,_a4,_t4,_attrs4)</span> 
 <span class="conditional">THEN</span>
 <span class="name">start</span> 
 <a title="precedes">precedes</a>
@@ -3605,8 +3605,7 @@
  class="name">'prov:Collection'</span>) or because certain types are not
  disjoint (such as <span class="name">'agent'</span> and <span class="name">'entity'</span>). The set of types
  does not reflect all of the distinctions among objects, only those
- relevant for checking validity.  In particular, subtypes such as
- <span class="name">'plan'</span> are omitted.
+ relevant for checking validity.  In particular, subtypes such as <span class="name">'plan'</span> and <span class="name">'bundle'</span> are omitted, and statements such as <span class="name">wasAssociatedWith</span> and <span class="name">mentionOf</span> that have plan or bundle parameters only check that these parameters are entities.
 </p>
 
 <p>To check if a PROV instance satisfies type constraints, one obtains the types of identifiers by application of