--- a/model/prov-dm.html	Fri Jun 08 20:22:51 2012 +0100
+++ b/model/prov-dm.html	Sat Jun 09 16:17:21 2012 +0100
@@ -3093,13 +3093,21 @@
 <li><span class='attribute' id="membership.collection">collection</span>: an identifier (<span class="name">c</span>) for the dictionary whose members are asserted; </li>
 <li><span class='attribute' id="membership.key-entity-set">key-entity-set</span>: a set of key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> that are members of the dictionary;</li>
 <li><span class='attribute' id="membership.complete">complete</span>: an OPTIONAL boolean 
-<a title="value">Value</a> (<span class="name">cplt</span>); if true, it indicates that no other member belongs to the dictionary;  if false, it indicates that other members belong to the dictionary; if unspecified, other members MAY belong to the dictionary;
+<a title="value">Value</a> (<span class="name">cplt</span>). It is interpreted as follows:
+<ul>
+<li>if it is present and set to true, then c is believed to include all and only the members specified in the key-entity-set;
+<li>if it is present and set to false, then c is believed to include more members in addition to those specified in the key-entity-set;
+<li>if it is not present, then c is believed to include all the members specified in the key-entity-set, and it MAY include more.
+</ul>
+
+<!-- if true, it indicates that no other member belongs to the dictionary;  if false, it indicates that other members belong to the dictionary; if unspecified, other members MAY belong to the dictionary; -->
 <li><span class='attribute' id="membership.attributes">attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs representing additional information about this relation.</li>
 </ul>
+
 </div>
 
 <p id="complete-attribute-note">
-The attribute <a href="#membership.complete">complete</a> provides an indication that the dictionary membership is entirely described by the <a title="memberOf">membership</a> relation.  Separate provenance descriptions MAY describe different membership. Such conflicting information is to be handled by application specific reasoning.</p>
+Note that the attribute <a href="#membership.complete">complete</a> indicates that the <a title="memberOf">membership</a> relation provides a complete description of the dictionary membership. It is possible that different provenance descriptions provide different membership statements. The resolution of any potential conflict amongst such membership statements is defined by applications.</p>
 
 
 <p>The description <span class="name">memberOf(c, {(key_1, e_1), ..., (key_n, e_n)})</span> states that  <span class="name">c</span> is known to include <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)}</span>, without having to introduce a previous dictionary. </p>

--- a/model/working-copy/wd6-collections-constraints.html	Fri Jun 08 20:22:51 2012 +0100
+++ b/model/working-copy/wd6-collections-constraints.html	Sat Jun 09 16:17:21 2012 +0100
@@ -293,7 +293,7 @@
   
 </ol>
 
-Note that a chain of insertions and removals that starts from statements of the form (1) or (2) leads to a precise characterisation of the contents of the resulting collection, for example:
+Note that a chain of insertions and removals that starts from statements of the form (1) or (5) leads to a precise characterisation of the contents of the resulting collection, for example:
 
 <span class="name">
  entity(c, [prov:type='prov:EmptyCollection']),