--- a/ontology/components/hadParticipant/prov-dm-constraint-participation.ttl	Sun Nov 06 12:10:12 2011 -0500
+++ b/ontology/components/hadParticipant/prov-dm-constraint-participation.ttl	Sun Nov 06 12:21:52 2011 -0500
@@ -12,7 +12,7 @@
 :pe
    rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-Participation>;
    dcterms:description "hadParticipant(pe,e) holds if and only if:";
-   prov:hadParticpant :e, :e1;
+   prov:hadParticpant :e;
 
    dcterms:description "used(pe,e) holds, or";
    prov:used :e;
@@ -20,9 +20,12 @@
    dcterms:description "wasControlledBy(pe,e) holds, or";
    prov:wasControlledBy :e;
 
+   dcterms:description "wasComplementOf(e1,e) holds for some entity expression identified by e1, and hadParticipant(pe,e1) holds some process execution expression identified by pe.";
+   prov:hadParticipant :e1;
 .
 
 :e1
+   rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-Participation>;
+   dcterms:description "wasComplementOf(e1,e) holds for some entity expression identified by e1, and hadParticipant(pe,e1) holds some process execution expression identified by pe.";
    prov:wasComplementOf :e;
-   dcterms:description "wasComplementOf(e1,e) holds for some entity expression identified by e1, and hadParticipant(pe,e1) holds some process execution expression identified by pe.";
 .