@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov:    <http://www.w3.org/ns/prov-o/> .
@prefix ex:      <#ex> .
@prefix :        <#> .

ex:acc3
   a prov:AssertionActivity, prov:Activity;
   prov:wasAssociatedWith <http://example.org/asserter1>;
   prov:generated         ex:acc3_claims;
.

ex:acc3_claims {
   :e0
      dcterms:description "entity(e0, [ prov:type='File', ex:path='/shared/crime.txt', ex:creator='Alice' ])";
      a prov:Entity;
      a :File;
      ex:path "/shared/crime.txt";
      ex:creator :Alice;
   .

   :a0
      dcterms:description "activity(a0,t,,[prov:type='createFile'])";
      a prov:Activity;
      a :CreateFile;
   .

   :e0
      dcterms:description "wasGeneratedBy(e0,a0,[])";
      a prov:Entity;
      prov:wasGeneratedBy :a0;
   .

   ex:acc4
      a prov:AssertionActivity, prov:Activity;
      prov:wasAssociatedWith <http://example.org/asserter2>;
      prov:generated         ex:acc4_claims;
   .
}

ex:acc4_claims {
   :e1
      dcterms:description "entity(e1, [ prov:type='File', ex:path='/shared/crime.txt', ex:creator='Alice', ex:content='' ])";
      a prov:Entity;
      ex:path "/shared/crime.txt";
      ex:creator :Alice;
      ex:content "";
   .

   :a0
      dcterms:description "activity(a0,t,,[prov:type='copyFile'])";
      a prov:Activity;
      a :CopyFile;
   .

   :e1
      dcterms:description "wasGeneratedBy(e1,a0,[ex:fct='create'])";
      prov:wasGeneratedBy :a0;
      ex:fct :create;

      dcterms:description "wasComplementOf(e1,e0))";
      prov:wasComplementOf :e1;
   .

   :e1
      a prov:Entity;
   .
}