\begin{Verbatim}[commandchars=\\\{\}]
document
  prefix ivo \PYGZlt{}http://www.ivoa.net/documents/rer/ivo/\PYGZgt{}
  prefix voprov \PYGZlt{}http://www.ivoa.net/documents/dm/provdm/voprov/\PYGZgt{}
  prefix prov \PYGZlt{}http://www.w3.org/ns/prov\PYGZsh{}\PYGZgt{}
  prefix ex \PYGZlt{}http://www.example.com/provenance/\PYGZgt{}

  entity\PYG{o}{(}ivo://example\PYGZsh{}Public\PYGZus{}NGC6946, \PYG{o}{[}prov:label\PYG{o}{=}\PYG{l+s+s2}{\PYGZdq{}Processed image of NGC 6946\PYGZdq{}}, prov:type\PYG{o}{=}\PYG{l+s+s2}{\PYGZdq{}voprov:Data\PYGZdq{}}\PYG{o}{])}
  entity\PYG{o}{(}ivo://example\PYGZsh{}DSS2.143, \PYG{o}{[}prov:label\PYG{o}{=}\PYG{l+s+s2}{\PYGZdq{}Unprocessed image of NGC 6946\PYGZdq{}}, prov:type\PYG{o}{=}\PYG{l+s+s2}{\PYGZdq{}voprov:Data\PYGZdq{}}\PYG{o}{])}
  activity\PYG{o}{(}ex:Process1, \PYG{l+m}{2017}\PYGZhy{}04\PYGZhy{}18T17:28:00, \PYG{l+m}{2017}\PYGZhy{}04\PYGZhy{}19T17:29:00, \PYG{o}{[}prov:label\PYG{o}{=}\PYG{l+s+s2}{\PYGZdq{}Process 1\PYGZdq{}}\PYG{o}{])}
  used\PYG{o}{(}ex:Process1, ivo://example\PYGZsh{}DSS2.143, \PYGZhy{}\PYG{o}{)}
  wasGeneratedBy\PYG{o}{(}ivo://example\PYGZsh{}Public\PYGZus{}NGC6946, ex:Process1, \PYG{l+m}{2017}\PYGZhy{}05\PYGZhy{}05T00:00:00\PYG{o}{)}
endDocument
\end{Verbatim}