minor edit
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Fri, 16 Sep 2011 13:41:03 +0100
changeset 304 456ef9d9fca0
parent 303 f1bdcecea283
child 305 58c09e937391
minor edit
model/ProvenanceModel.html
--- a/model/ProvenanceModel.html	Fri Sep 16 13:14:55 2011 +0100
+++ b/model/ProvenanceModel.html	Fri Sep 16 13:41:03 2011 +0100
@@ -771,7 +771,7 @@
 <pre class="example">
 entity(e1, [employee= "1234", name= "Alice"])  and agent(e1)
 
-entity(e2) and wasControlledBy(pe,e2)
+entity(e2) and wasControlledBy(pe,e2,qualifier(role="author"))
 </pre>
 the entity expression identified by <span class="name">e1</span> is accompanied of an explicit assertion of an agent expression, and this assertion holds irrespective of process executions it may be involved in. On the contrary, from the entity expression identified  by <span class="name">e2</span>, one can inferred an agent expression, as per the following inference.
 </p>