--- a/model/ProvenanceModel.html	Thu Aug 04 11:36:56 2011 +0100
+++ b/model/ProvenanceModel.html	Thu Aug 04 11:54:00 2011 +0100
@@ -489,8 +489,11 @@
 
 <p>A given entity can be generated at most by one process execution.</p>
 
-<p>Given an assertion <b>isGeneratedBy(x,pe,r)</b> or <b>isGeneratedBy(x,pe,r,t)</b>, the
-activity denoted by <b>pe</b> and the entities used by <b>pe</b> dermine values of some of <b>x</b>'s attributes.</p>
+<p>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>isGeneratedBy(e,pe,r)</b>
+or <b>isGeneratedBy(e,pe,r,t)</b> holds, the values of some of <b>e</b>'s
+attributes are determined by the activity denoted by <b>pe</b> and the
+entities used by <b>pe</b>.</p>
 
 <p>Given an assertion <b>isGeneratedBy(x,pe,r)</b> or <b>isGeneratedBy(x,pe,r,t)</b>, one can
 infer that the generation of the thing denoted by <b>x</b> precedes the end
@@ -498,7 +501,7 @@
 </p> 
 
 
-<div class='issue'>Need to say identifiable activity. This is <a href="http://www.w3.org/2011/prov/track/issues/39">ISSUE-39</a></div>
+<div class='pending'>Need to say identifiable activity. This is <a href="http://www.w3.org/2011/prov/track/issues/39">ISSUE-39</a>. The qualifier 'identifiable' is said to be implicit in section 4. </div>
 
 <div class='issue'> Comments on generation <a href="http://www.w3.org/2011/prov/track/issues/59">ISSUE-59</a>.</div>