--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_CompleteMembership.ttl	Wed Apr 25 15:37:45 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_CompleteMembership.ttl	Wed Apr 25 15:49:17 2012 +0100
@@ -4,4 +4,36 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-# TODO
+:e1 a prov:Entity .
+:e2 a prov:Entity .
+
+:c1 a prov:Dictionary, prov:Entity ;
+   prov:membership [ 
+      a prov:CompleteMembership, prov:Membership;
+      # These are the members, and all the members of c1
+      prov:member [ 
+         a prov:KeyValuePair;
+         prov:key   "k1"^^xsd:string;
+         prov:value :e1
+      ], [ 
+         a prov:KeyValuePair;
+         prov:key   "k2"^^xsd:string;
+         prov:value :e2
+      ]
+   ] .
+
+:c2 a prov:Dictionary, prov:Entity .
+    prov:derivedByRemovalFrom :c1 ;
+    prov:qualifiedRemoval [
+        a prov:Removal ;
+        prov:collection :c1 ;
+        prov:removedKey "k1"^^xsd:string, "k2"^^xsd:string 
+    ] .
+
+## As membership on :c1 is complete, we can infer:
+#
+# :c2 a prov:EmptyDictionary ;
+#     prov:membership [ 
+#        a prov:CompleteMembership 
+#     ] .
+

--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Membership.ttl	Wed Apr 25 15:37:45 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Membership.ttl	Wed Apr 25 15:49:17 2012 +0100
@@ -8,9 +8,10 @@
 :e1 a prov:Entity .
 :e2 a prov:Entity .
 
-:c1 a prov:Dictionary;
+:c1 a prov:Dictionary, prov:Entity;
    prov:membership [ 
       a prov:Membership;
+      # These are (some of the) members of c1
       prov:member [ 
          a prov:KeyValuePair;
          prov:key   "k1"^^xsd:string;

--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Removal.ttl	Wed Apr 25 15:37:45 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Removal.ttl	Wed Apr 25 15:49:17 2012 +0100
@@ -4,4 +4,14 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-# TODO
+:c1 a prov:Dictionary .
+
+:c2 a prov:Dictionary, prov:Entity .
+    prov:derivedByRemovalFrom :c1 ;
+    prov:qualifiedRemoval [
+        a prov:Removal, prov:DictionaryInvolvement ;
+        prov:dictionary :c1 ;
+        prov:removedKey "k1"^^xsd:string, "k2"^^xsd:string 
+    ] .
+
+

--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedRemoval.ttl	Wed Apr 25 15:37:45 2012 +0100
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedRemoval.ttl	Wed Apr 25 15:49:17 2012 +0100
@@ -4,4 +4,15 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-# TODO
+
+:c1 a prov:Dictionary .
+
+:c2 a prov:Dictionary, prov:Entity .
+    prov:derivedByRemovalFrom :c1 ;
+    prov:qualifiedRemoval [
+        a prov:Removal ;
+        prov:dictionary :c1 ;
+        prov:removedKey "k1"^^xsd:string, "k2"^^xsd:string 
+    ] .
+
+