--- a/model/ProvenanceModel.html Wed Dec 21 10:05:55 2011 +0000
+++ b/model/ProvenanceModel.html Wed Dec 21 10:36:26 2011 +0000
@@ -3042,6 +3042,8 @@
and <span class="name">wasStartedBy(a2,e,sAttr)</span> hold.
</div>
+<p>We note that a <a>start record</a> associates an activity with an agent, and is denoted by the name <span class="name">wasStartedBy</span>. A <a>control ordering record</a> associates an activity with another activity, also denoted by the name <span class="name">wasStartedBy</span>. Effectively, by considering both record types, the relation <span class="name">wasStartedBy</span> has a range formed by the union of agents and activities.</p>
+
<div class="anexample">
<p>