--- 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>