--- a/model/ProvenanceModel.html	Mon Nov 21 09:59:47 2011 -0500
+++ b/model/ProvenanceModel.html	Mon Nov 21 15:48:22 2011 +0000
@@ -2523,7 +2523,7 @@
  there are two entity records identified by <span class="name">e1</span> and <span class="name">e2</span>,
 such that <span class="name">wasControlledBy(a1,e1,[prov:role="end"])</span> and <span class="name">wasControlledBy(a2,e2,[prov:role="start"])</span> and <span class="name">wasDerivedFrom(e2,e1)</span>.
 </div>
-<p>This definition assumes that the activities represented by activity records identified by <span class="name">a1</span> and <span class="name">a2</span> are controlled by some agents (with identifiers <span class="name">e1</span> and <span class="name">e2</span>), where the first agent terminates (control attribute <span class="name">[prov:role="end")</span>) the first activity, and the second agents initiates (control attribute <span class="name">[prov:role="start")</span>) the second activity.  The second agent being "derived" from the first enforces  temporal ordering. </p>
+<p>This definition assumes that the activities represented by activity records identified by <span class="name">a1</span> and <span class="name">a2</span> are controlled by some agents (with identifiers <span class="name">e1</span> and <span class="name">e2</span>), where the first agent terminates (control attribute <span class="name">[prov:role="end")</span>) the first activity, and the second agent initiates (control attribute <span class="name">[prov:role="start")</span>) the second activity.  The second agent being "derived" from the first enforces  temporal ordering. </p>
 
 <p>
 In the following assertions, we find two activity records, identified by <span class="name">a1</span> and <span class="name">a2</span>, representing two activities, which took place on two separate hosts.</p>