document
  default <https://example.com>
  prefix voprov <https://ivoa.net/prov>
  
  entity(spec1, [prov:type='voprov:FileEntity', voprov:entityDescription='spec_desc', prov:location="https://example.com/spec1.fits"])
  entity(voprov:ad4, [prov:type='voprov:GenerationDescription', voprov:entityDescription='spec_desc'])
  entity(voprov:ad3, [prov:type='voprov:UsageDescription', voprov:entityDescription='spec_desc'])
  entity(p_desc, [voprov:ucd="phys.redshift", prov:label="redshift", prov:type='voprov:ValueEntityDescription'])
  entity(spec_desc, [prov:label="spec", prov:type='voprov:FileEntityDescription', voprov:description="Point source spectrum"])
  entity(spec1_out, [prov:type='voprov:FileEntity', voprov:entityDescription='spec_desc', prov:location="https://example.com/spec1_out.fits"])
  entity(voprov:ad2, [prov:type='voprov:UsageDescription', voprov:entityDescription='p_desc'])
  entity(p1, [prov:type='voprov:ValueEntity', voprov:entityDescription='p_desc', prov:value="0.5" %% xsd:float])
  entity(a_desc, [prov:label="apply_redshift", prov:type='prov:Collection', prov:type='voprov:ActivityDescription', voprov:description="Apply redshift to a spectrum"])
  used(apply_redshift1, p1, -, [prov:role="redshift"])
  used(apply_redshift1, spec1, -, [prov:role="input_spectrum"])
  activity(apply_redshift1, -, -, [voprov:activityDescription="a_desc"])
  wasGeneratedBy(spec1_out, apply_redshift1, -)
  hadMember(a_desc, voprov:ad2)
  hadMember(a_desc, voprov:ad4)
  hadMember(a_desc, voprov:ad3)
endDocument