--- a/model/prov-n.html	Mon Jul 09 22:17:42 2012 +0100
+++ b/model/prov-n.html	Mon Jul 09 22:20:32 2012 +0100
@@ -1981,7 +1981,7 @@
 
 <div class="anexample">
     <pre class="codeexample">
-   memberOf(mId, c, {e1, e2, e3}, [])   // Collection membership
+   hadMembers(mId, c, {e1, e2, e3}, [])   // Collection membership
   </pre>
 <p>  Here
     <span class="name">mId</span> is the optional membership identifier,
@@ -1992,12 +1992,12 @@
 In the remaining examples,  some of the optionals are omitted.
 
 <pre class="codeexample">
-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, [])  
+hadMembers(c3, {e1})
+hadMembers(c3, {e1,e2})     // default "complete" flag is false
+hadMembers(c3, {e1,e2}, false)
+hadMembers(c3, {e1,e2}, true)
+hadMembers(c3, ,[])  
+hadMembers(c3, ,true, [])  
 </pre>
 </div>
 
@@ -2507,18 +2507,18 @@
 
 <div class="anexample">
 <p>
-<a href="#component6">Collections</a> are sets of entities, whose membership can be expressed using the <span class="name">memberOf</span> relation.  The following example shows how one can express membership for an extension of Collections, namely sets of key-value pairs. The notation is a variation of that used for Collections membership, in which the elements of the set are pairs. The name of the relation is qualified with the extension-specific namespace <span class="name">http://example.org/dictionaries</span>.
+<a href="#component6">Collections</a> are sets of entities, whose membership can be expressed using the <span class="name">hadMembers</span> relation.  The following example shows how one can express membership for an extension of Collections, namely sets of key-value pairs. The notation is a variation of that used for Collections membership, in which the elements of the set are pairs. The name of the relation is qualified with the extension-specific namespace <span class="name">http://example.org/dictionaries</span>.
 </p>
 <pre class="codeexample">
   prefix dictExt &lt;http://example.org/dictionaries&gt;
-  dictExt:memberOf(mId; d, {(k1,e1), (k2,e2), (k3,e3)}, []) 
+  dictExt:hadMembers(mId; d, {(k1,e1), (k2,e2), (k3,e3)}, []) 
 </pre>
 
 Note that the generic <code class="content"><a class="grammarRef"
  href="#prod-extensibilityExpression">extensibilityExpression</a></code> production  above allows for alternative notations to be used for expressing membership, if the designers of the extensions so desire. Here is an alternate syntax that is consistent with the productions:
 <pre class="codeexample">
   prefix dictExt &lt;http://example.org/dictionaries&gt;
-  dictExt:memberOf(mid; d, dictExt:set(dictExt:pair(k1,e1), dictExt:pair(k2,e2), dictExt:pair(k3,e3), [dictExt:uniqueKeys="true"]) 
+  dictExt:hadMembers(mid; d, dictExt:set(dictExt:pair(k1,e1), dictExt:pair(k2,e2), dictExt:pair(k3,e3), [dictExt:uniqueKeys="true"]) 
 </pre>