--- a/model/prov-n.html	Thu Jun 28 12:18:20 2012 +0100
+++ b/model/prov-n.html	Thu Jun 28 13:57:00 2012 +0100
@@ -2067,23 +2067,22 @@
 <div class="anexample">
     <pre class="codeexample">
    memberOf(mId, c, {e1, e2, e3}, [])   // Collection membership
-   memberOf(mId, c, {("k4", v4), ("k5", v5)}, [])   // Dictionary membership
   </pre>
 <p>  Here
-    <span class="name">mid</span> is the optional membership identifier,
+    <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"> {("k4", v4), ("k5", v5)}</span> is the set of key-value pairs that are members of 
+  <span class="name"> {e1, e2, e3}</span> is the entity-set indicating the members of 
   <span class="name">c</span>,
     and <span class="name">[]</span> is the optional (empty) set of attributes. </p>  
-The remaining examples show cases for Dictionaries, where some of the optionals are omitted. Key-entity sets are replaced with Entity sets for the corresponding  generic Collections examples.
+In the remaining examples,  some of the optionals are omitted.
 
 <pre class="codeexample">
-memberOf(c3, {("k4", v4), ("k5", v5)})
-memberOf(c3, {("k4", v4)})
-memberOf(c3, {("k4", v4)}, false)
-memberOf(c3, {("k4", v4)}, true)
-memberOf(c3, {("k4", v4), ("k5", v5)},[])  
-memberOf(c3, {("k4", v4), ("k5", v5)},true, [])  
+memberOf(c3, {e1})
+memberOf(c3, {e1,e2})     // default "complete" flag is false
+memberOf(c3, {e1,e2}, false)
+memberOf(c3, {e1,e2}, true)
+memberOf(c3, ,[])  
+memberOf(c3, ,true, [])  
 </pre>
 </div>