--- a/model/ProvenanceModel.html	Fri Aug 05 13:03:51 2011 +0100
+++ b/model/ProvenanceModel.html	Fri Aug 05 13:59:08 2011 +0100
@@ -1082,14 +1082,36 @@
 <section id="concept-Participation">
 <h3>Participation</h3>
 
-<div class='issue'>Suggested definition for participation. This is <a href="http://www.w3.org/2011/prov/track/issues/49">ISSUE-49</a>.</div>
+<p> <dfn id="dfn-Participation">Participation</dfn> represents the involvment of a thing in an activity. It can be asserted or inferred.</p>
+
+
+<p>The construct <dfn id="dfn-hasParticipant">hasParticipant</dfn>, noted  <b>hasParticipant(pe,e)</b>, 
+<ul> 
+<li> contains a process execution <b>pe</b>;
+<li> contains an entity <b>e</b>;
+</ul>
+
+
+Given a process execution <b>pe</b> and entity <b>e</b>, <b>hasParticipant(pe,e)</b> holds if and only if:
+<ul> 
+<li> <b>uses(pe,e)</b> holds, or</li>
+<li> <b>isControlledBy(pe,e)</b> holds, or</li>
+<li>  <b>isComplementOf(e1,e)</b> holds for some entities <b>e1</b>, and 
+ <b>hasParticipant(pe,e1)</b>  some process execution <b>pe</b>.</li>
+</ul>
+
+
+
+<div class='note'>Is there a need for a similar concept that includes generated entities?</div>
+
+<div class='pending'>Suggested definition for participation. This is <a href="http://www.w3.org/2011/prov/track/issues/49">ISSUE-49</a>.</div>
+
 </section>
 
 
 <section id="concept-ProvenanceContainer">
 <h3>Provenance Container</h3>
 
-
 <p>A <dfn id="dfn-ProvenanceContainer">Provenance Container</dfn> is an identifiable wrapper for a set of PIDM constructs, which allows for additional meta-information pertaining to these constructs to be expressed. A provenance container MAY contain other provenance containers.</p> 
 
 <p>Such meta-information may be asserter, date of creation, justification for assertions, and cryptographic signature. </p>