--- a/ontology/ProvenanceFormalModel.html	Sun Oct 09 18:06:32 2011 -0400
+++ b/ontology/ProvenanceFormalModel.html	Sun Oct 09 21:34:51 2011 -0400
@@ -1325,17 +1325,14 @@
 	</section>
    	<section>
 	  <h4>Provenance constraint on wasGeneratedBy</h4>
-<li> <a name="PROV:0002" href="#PROV:0002">PROV:0002</a> "Given a process execution <b>pe</b>, entity <b>e</b>, role <b>r</b>, and optional time <b>t</b>,
-if the assertion <b>wasGeneratedBy(e,pe,r)</b>
-or <b>wasGeneratedBy(e,pe,r,t)</b> holds, the values of <em>some</em> of <b>e</b>'s
-attributes are determined by the activity denoted by <b>pe</b> and the
-entities used by <b>pe</b>.
-Only some (possibly none) of the attributes values  may be determined
-since, in an open world, not all used entities may have been
-asserted."
- (<a href="../model/ProvenanceModel.html#PROV:0002">link</a>)
-</li>
+	  <p>The PROV-DM describes a constraint on wasGeneratedBy that associates the values of attributes of an Entity with the ProcessExecution that generated the Entity.</p>
+      <div class='issue'>"Given a process execution pe, entity e, role r, and optional time t, if the assertion wasGeneratedBy(e,pe,r) or wasGeneratedBy(e,pe,r,t) holds, the values of some of e's attributes are determined by the activity denoted by pe and the entities used by pe. Only some (possibly none) of the attributes values may be determined since, in an open world, not all used entities may have been asserted." This is <a href="http://www.w3.org/2011/prov/track/issues/122">ISSUE-122</a></div>
 	</section>
+	<section>
+	  <h4>Provenance constraint on wasGeneratedBy (II)</h4>
+	  <p></p>
+	  <div class='issue'>"Given an assertion wasGeneratedBy(x,pe,r) or wasGeneratedBy(x,pe,r,t), one can infer that the generation of the thing denoted by x precedes the end of pe and follows the beginning of pe." This is <a href="http://www.w3.org/2011/prov/track/issues/122">ISSUE-122</a></div>
+	</section>	
 <li><a name="PROV:0003" href="#PROV:0003">PROV:0003</a> "Given an assertion <b>wasGeneratedBy(x,pe,r)</b> or <b>wasGeneratedBy(x,pe,r,t)</b>, one can
 infer that the generation of the thing denoted by <b>x</b> precedes the end
 of <b>pe</b> and follows the beginning of <b>pe</b> "