--- a/examples/eg-20-collections-exercise/rdf/eg-20-collections-exercise.ttl	Sat Mar 31 18:07:51 2012 +0100
+++ b/examples/eg-20-collections-exercise/rdf/eg-20-collections-exercise.ttl	Sat Mar 31 16:05:50 2012 -0600
@@ -14,6 +14,12 @@
 
 prov:Entity a owl:Class .
 
+prov:Involvement a owl:Class .
+
+prov:qualifiedForm a owl:AnnotationProperty .
+
+prov:wasDerivedFrom a owl:ObjectProperty .
+
 ### classes ###
 
 prov:Collection a owl:Class ;
@@ -46,14 +52,14 @@
     rdfs:domain prov:Insertion ;
     rdfs:range prov:KeyValuePair .
 
-prov:removed a owl:ObjectProperty ;
-    rdfs:domain prov:Insertion ;
-    rdfs:range prov:KeyValuePair .
-
 prov:value a owl:ObjectProperty ;
     rdfs:domain prov:KeyValuePair ;
     rdfs:range prov:Entity .
 
+prov:knownMember a owl:ObjectProperty ;
+	rdfs:domain prov:Collection ;
+	rdfs:range prov:KeyValuePair .
+
 prov:derivedByInsertionFrom a owl:ObjectProperty ;
     rdfs:subPropertyOf prov:wasDerivedFrom ;
     rdfs:domain prov:Collection ;    
@@ -78,10 +84,9 @@
 
 prov:key a owl:DatatypeProperty ;
    rdfs:domain prov:KeyValuePair . 
-   # CHECK: Is any literal OK, not just strings? How do "en"@en compare
-   # with "en"@fr ?  12 with 12.0 with "12"?
 
-
+prov:removed a owl:ObjectProperty ;
+    rdfs:domain prov:Insertion .
 
 ### examples ###
 
@@ -116,7 +121,7 @@
      prov:inserted [ a prov:KeyValuePair;
            prov:key "k1"^^xsd:string ;
            prov:value :e1 ;
-         ], [ a prov:KeyEntityPair ;
+         ], [ a prov:KeyValuePair ;
            prov:key "k2"^^xsd:string ;
            prov:value :e2 ;
          ]
@@ -145,7 +150,7 @@
     prov:qualifiedRemoval 
    [ a prov:Removal ;
      prov:collection :c2 ;
-     prov:removedKey "k1"^^xsd:string, "k3"^^xsd:string 
+     prov:removed "k1"^^xsd:string, "k3"^^xsd:string 
    ] .