--- a/model/ProvenanceModel.html	Wed Jul 20 15:34:13 2011 +0100
+++ b/model/ProvenanceModel.html	Wed Jul 20 16:30:15 2011 +0100
@@ -239,10 +239,10 @@
 <p>
 Control:
 <pre>
-controlledBy(pe1,bob,t+1)
-controlledBy(pe2,charles,t+2)
-controlledBy(pe3,david,t+3)
-controlledBy(pe4,edith,t+4)
+isControlledBy(pe1,bob,"author")
+isControlledBy(pe2,charles, "communicator")
+isControlledBy(pe3,david,"author")
+isControlledBy(pe4,edith, "communicator")
 </pre>
 </p>
 </section> 
@@ -504,15 +504,53 @@
 
 
 
-<p>An <dfn id="dfn-Agent">agent</dfn> is a characterized entity capable of
+<p>An <dfn id="dfn-Agent">agent</dfn> represents a characterized entity capable of
 activity.</p> 
 
+<p> An agent assertion:
+<ul>
+<li> refers to a BOB
+</ul>
+</p>
 
 <p>A characterized entity can be asserted to be an agent or can be inferred to be
 an agent by involvement in a process execution.  </p>
+
+<p>
+<pre class="example">
+bob(alice, [Employee="1234"])  and agent(alice)
+
+
+bob(david) and isControlledBy(pe,david)
+</pre>
+</p>
+
+
+
 </section>
 
-<div class="note">I would still like to see entities that "play the role of Agent" in the context of a process execution, as opposed to <em>be</em> an agent</div>
+
+<section id="concept-Control">
+<h3>Control</h3>
+
+<p> <dfn id="dfn-Control">Control</dfn> represents the involvement of an agent or a BOB in a process execution; a role qualifies this involvement.</p>
+
+<p>A Control assertion, noted <b>isControlledBy(pe,ag,r)</b>:
+<ul>
+<li> refers to a process execution;
+<li> refers to an agent or a BOB;
+<li> contains a role.
+</ul>
+</p>
+
+<p>
+<pre class="example">
+isControlledBy(pe3,david,"author")
+</pre>
+</p>
+
+</section>
+
 
 <section id="concept-IVPOf">
 
@@ -554,7 +592,6 @@
 <section id="concept-RecipeLink">
 <h3>Recipe Link</h3>
 
-<div class="note">move this close to Process Execution, as they seem to mutually refer to each other (which is ok but requires explaining)</div>
 
 <p>A <dfn id="dfn-RecipeLink">recipe link</dfn> is an association between a process execution and a process specification that underpins the process execution.
 </p>
@@ -673,35 +710,6 @@
 <h3>Participation</h3>
 </section>
 
-<section id="concept-Control">
-<h3>Control</h3>
-
-<p> <dfn id="dfn-Control">Control</dfn> represents the starting or ending of a process execution by an agent. </p>
-
-<p>An assertion <b>startedBy(pe,ag,r)</b>:
-<ul>
-<li> contains a process execution;
-<li> contains an agent;
-<li> contains a role.
-</ul>
-</p>
-
-<p>An assertion <b>endedBy(pe,ag,r)</b>:
-<ul>
-<li> contains a process execution;
-<li> contains an agent;
-<li> contains a role.
-</ul>
-</p>
-
-<p> 
-The convenience assertion <b>controlledBy(pe,ag,r)</b> is
-equivalent to <b>startedBy(pe,ag,r)</b> and <b>endedBy(pe,ag,r)</b>.
-</p>
-
-<p><em> Can multiple agents control a process execution? If so, what does it mean to have a start/end time?</em> </p> 
-
-</section>
 
 <section id="concept-ProvenanceContainer">
 <h3>Provenance Container</h3>