--- a/model/ProvenanceModel.html	Thu Jul 21 10:01:38 2011 +0100
+++ b/model/ProvenanceModel.html	Thu Jul 21 10:13:32 2011 +0100
@@ -264,6 +264,8 @@
 <img src="timeline.png"/>
 </section> 
 
+</section> 
+
 
     <section > 
 <h2>About the Provenance Language</h2>
@@ -517,9 +519,9 @@
 <p>An <dfn id="dfn-Agent">agent</dfn> represents a characterized entity capable of
 activity.</p> 
 
-<p> An agent assertion:
+<p> An agent assertion, <b>agent(b)</b>:
 <ul>
-<li> refers to a BOB
+<li> refers to a BOB <b>b</b>
 </ul>
 </p>
 
@@ -547,9 +549,9 @@
 
 <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.
+<li> refers to a process execution <b>pe</b>;
+<li> refers to an agent or a BOB <b>ag</b>;
+<li> contains a role <b>r</b>.
 </ul>
 </p>
 
@@ -688,15 +690,15 @@
 
 <p>An assertion isScheduledAfter:
 <ul>
-<li> contains a process execution;
-<li> contains a process execution.
+<li> refers to a process execution;
+<li> refers to a process execution.
 </ul>
 </p>
 
 <p>An assertion isInformedBy:
 <ul>
-<li> contains a process execution;
-<li> contains a process execution.
+<li> refers to a process execution;
+<li> refers to a process execution.
 </ul>
 </p>
 
@@ -706,11 +708,11 @@
 
 <p> <dfn id="dfn-Revision">Revision</dfn> represents the creation of a characterized entity considered to be a variant of another. </p>
 
-<p>An assertion isRevisionOf:
+<p>An assertion isRevisionOf, noted <b>isRevisionOf(b2,b1,ag)</b>:
 <ul>
-<li> contains a BOB, denoting a older version of an entity;
-<li> contains a BOB, denoting a newer version of an entity;
-<li> MAY contain a responsible agent.
+<li> refers to a BOB <b>b2</b>, denoting a newer version of an entity;
+<li> refers a BOB <b>b1</b>, denoting a older version of an entity;
+<li> MAY refer to a responsible agent <b>ag</b>.
 </ul>
 </p>
 

--- a/model/note.txt	Thu Jul 21 10:01:38 2011 +0100
+++ b/model/note.txt	Thu Jul 21 10:13:32 2011 +0100
@@ -11,3 +11,9 @@
 - We need to define the partial orders "precedes/follows"
 
 - Roles: we neeed roles both as parameter-names and as parameter-types
+
+- The WG may defined default role names, eg. in, out, initiator, terminator
+
+- The WG may defined default role types, eg. responsibleFor, etc
+
+