document
  prefix Prefix <http://testnamespace.org>
  prefix dare <http://project-dare.eu/ns#>
  prefix vcard <http://www.w3.org/2006/vcard/ns#>
  prefix uuid <urn:uuid:>
  
  agent(Prefix:user, [vcard:uid="testUser", dare:authMode="authenticationMode", dare:group="group", prov:type='prov:Person'])
  agent(Prefix:notebookApi, [vcard:uid="testAPI", prov:type='prov:SoftwareAgent'])
  hadMember(Prefix:libs, Prefix:lib1)
  hadMember(Prefix:libs, Prefix:userlib1)
  hadMember(Prefix:libs, Prefix:lib2)
  hadMember(Prefix:libs, Prefix:userlib2)
  entity(Prefix:lib1, [dare:libname="lib1", dare:installationMode="installMode1", dare:version="1", prov:type='dare:lib'])
  entity(Prefix:lib2, [dare:libname="lib2", dare:installationMode="installMode2", dare:version="2", prov:type='dare:lib'])
  entity(Prefix:userlib1, [dare:libname="ulib1", dare:version="1", dare:installationMode="uInstallationMode1", prov:type='dare:lib'])
  entity(Prefix:libs, [prov:type='dare:LibCollection'])
  entity(Prefix:k8Recipe, [dare:version="v0.1", prov:type='dare:deploymentPlan', prov:location="recipeLocation"])
  entity(Prefix:systemImage, [dare:systemImageReference="systemImageRef", prov:type='dare:SystemImage'])
  entity(Prefix:jupyter, [prov:generatedAt="1970-01-01T01:01:00+01:00", dare:ComputationalContext="contextId", prov:type='dare:Session', prov:location="accessUrl", dare:computationalInstance='Prefix:compInstance'])
  entity(Prefix:userlib2, [dare:libname="ulib2", dare:version="2", dare:installationMode="uInstallationMode2", prov:type='dare:lib'])
  wasAttributedTo(Prefix:userlib2, Prefix:user)
  wasAttributedTo(Prefix:userlib1, Prefix:user)
  used(Prefix:createSession, Prefix:systemImage, -)
  used(Prefix:createSession, Prefix:libs, -)
  wasAssociatedWith(Prefix:createSession, Prefix:notebookApi, Prefix:k8Recipe)
  actedOnBehalfOf(Prefix:notebookApi, Prefix:user, -)
  activity(Prefix:createSession, 1970-01-01T01:00:00+01:00, 1970-01-01T01:01:00+01:00, [prov:type='dare:CreateSession'])
  wasGeneratedBy(Prefix:jupyter, Prefix:createSession, -)
endDocument