--- a/model/prov-n.html	Mon Jul 09 22:29:49 2012 +0100
+++ b/model/prov-n.html	Mon Jul 09 22:29:56 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>
 
   

--- a/ontology/prov-o-html-sections/description-qualified-terms.inc.html	Mon Jul 09 22:29:49 2012 +0100
+++ b/ontology/prov-o-html-sections/description-qualified-terms.inc.html	Mon Jul 09 22:29:56 2012 +0100
@@ -95,7 +95,7 @@
       </p>
 
       <p>In subfigure <strong>a</strong> the <span class="repeated">prov:qualifiedUsage</span> property parallels the <span class="repeated">prov:used</span> property and references an instance of 
-      <span class="repeated">prov:Usage</span>, which in trun provides attributes of the <span class="repeated">prov:used</span> relation between the Activity and Entity. 
+      <span class="repeated">prov:Usage</span>, which in turn provides attributes of the <span class="repeated">prov:used</span> relation between the Activity and Entity. 
       The <span class="repeated">prov:entity</span> property is used to cite the Entity that was used by the Activity. 
       In this case, the time that the Activity used the Entity is provided using the <a href=#atTime" class="qname">prov:atTime</a> property and a literal 
       <span class="repeated">xsd:dateTime</span> value. The <span class="repeated">prov:atTime</span> property can be used to describe any