--- a/model/prov-n.html	Thu Jul 12 13:15:38 2012 +0100
+++ b/model/prov-n.html	Thu Jul 12 13:15:46 2012 +0100
@@ -2025,29 +2025,21 @@
 
 <div class="anexample">
     <pre class="codeexample">
-   hadMember(mId, c, {e1, e2, e3})   // Collection membership
+   hadMember(mId, c, e1)   // c contained e1
+   hadMember(mId, c, e2)   // c contained e2 
   </pre>
 <p>  Here
-    <span class="name">mId</span> is the optional membership identifier,
-  <span class="name">c</span> is the  identifier for the collection whose membership is stated,
-  <span class="name"> {e1, e2, e3}</span> is the entity-set indicating the members of 
-  <span class="name">c</span>.
+  <span class="name">c</span> is the  identifier for the collection whose membership is stated, and 
+  <span class="name">e1, e2, etc.</span> are the entities that are members of collection c 
 <!--
     <span class="name">true</span> is the complete flag indicating that the collection member is believed to be closed,
     and <span class="name">[prov:label="A beautiful collection"]</span> is the optional set of attributes. </p>  
 -->
 
-<p>
-In the following example, c is effectively of type EmptyCollection
-
-<pre class="codeexample">
-hadMember(c, {})
-</pre>
 </div>
 
 </section>
 
-
 </section>   <!-- end collections-->