document
  default <https://example.com>
  prefix voprov <https://ivoa.net/prov>
  
  entity(spec1, [prov:type='voprov:DatasetEntity', voprov:entityDescription='spec_desc', prov:location="https://example.com/spec1.fits"])
  entity(voprov:ad4, [prov:label="redshift", prov:type='voprov:GenerationDescription', voprov:description="Redshift", voprov:generationType="Main", voprov:entityDescription='spec_desc'])
  entity(voprov:ad3, [voprov:usageType="Setup", prov:label="input_spectrum", prov:type='voprov:UsageDescription', voprov:description="Input spectrum", voprov:entityDescription='spec_desc'])
  entity(p_desc, [voprov:ucd="phys.redshift", prov:label="redshift", prov:type='voprov:ValueEntityDescription'])
  entity(spec_desc, [voprov:comment="Point source spectrum", prov:label="spectrum", prov:type='voprov:DatasetDescription'])
  entity(voprov:ad2, [voprov:usageType="Main", prov:label="output", prov:type='voprov:UsageDescription', voprov:description="Output (redshifted) spectrum", voprov:entityDescription='p_desc'])
  entity(spec1_out, [prov:type='voprov:DatasetEntity', voprov:entityDescription='spec_desc', prov:location="https://example.com/spec1_out.fits"])
  entity(p1, [prov:type='voprov:ValueEntity', voprov:entityDescription='p_desc', prov:value="0.5" %% xsd:float])
  entity(a_desc, [voprov:comment="Apply redshift to a spectrum", voprov:generationDescription='voprov:ad4', prov:label="apply_redshift", prov:type='voprov:ActivityDescription', voprov:usageDescription='voprov:ad2', voprov:usageDescription='voprov:ad3'])
  used(apply_redshift1, p1, -, [prov:role='voprov:ad4'])
  used(apply_redshift1, spec1, -, [prov:role='voprov:ad3'])
  wasAssociatedWith(apply_redshift1, ag1, -, [prov:role="Investigator"])
  activity(apply_redshift1, -, -, [voprov:activityDescription='a_desc'])
  agent(ag1, [voprov:name="Gabriele Mustermann", prov:type='prov:Person'])
  wasGeneratedBy(spec1_out, apply_redshift1, -, [prov:role='voprov:ad2'])
endDocument