figures/readme-two-files-invisible.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 9.0.0 (20230911.1827)
 -->
<!-- Title: PROV&#45;O render Pages: 1 -->
<svg width="620pt" height="433pt"
 viewBox="0.00 0.00 620.35 432.96" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 428.96)">
<title>PROV&#45;O render</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-428.96 616.35,-428.96 616.35,4 -4,4"/>
<!-- _7a2198a44f578179dc8e96c483e423346bf212bb366a1d7fc5cef491c825bb70 -->
<g id="node1" class="node">
<title>_7a2198a44f578179dc8e96c483e423346bf212bb366a1d7fc5cef491c825bb70</title>
<g id="a_node1"><a xlink:title="ID &#45; urn:example:Action&#45;1">
<polygon fill="#9fb1fc" stroke="#0000ff" points="612.35,-384.36 263.35,-384.36 263.35,-294.36 612.35,-294.36 612.35,-384.36"/>
<text text-anchor="middle" x="437.85" y="-367.06" font-family="Times,serif" font-size="14.00">ID &#45; kb:Action&#45;1</text>
<text text-anchor="middle" x="437.85" y="-350.56" font-family="Times,serif" font-size="14.00">[2020&#45;01&#45;02T12:00:30+00:00, 2020&#45;01&#45;02T12:00:30+00:00]</text>
<text text-anchor="middle" x="437.85" y="-318.06" font-family="Times,serif" font-size="14.00">Activity known to create and delete a temporary file, </text>
<text text-anchor="middle" x="437.85" y="-301.56" font-family="Times,serif" font-size="14.00">File&#45;1, and to create File&#45;2.</text>
</a>
</g>
</g>
<!-- _514c766e8ad290ece0d24234da5a9b8eb7670f9ce283ceb205b50140adb3e499 -->
<!-- _7a2198a44f578179dc8e96c483e423346bf212bb366a1d7fc5cef491c825bb70&#45;&gt;_514c766e8ad290ece0d24234da5a9b8eb7670f9ce283ceb205b50140adb3e499 -->
<!-- _9640acc41515017ae2496fbc88f8afacf04fb0f88982ca5cc407bff57a578d46 -->
<g id="node2" class="node">
<title>_9640acc41515017ae2496fbc88f8afacf04fb0f88982ca5cc407bff57a578d46</title>
<g id="a_node2"><a xlink:title="ID &#45; urn:example:File&#45;1">
<ellipse fill="#fff68f" stroke="#808080" cx="240.85" cy="-206.81" rx="69.65" ry="40.31"/>
<text text-anchor="middle" x="240.85" y="-218.01" font-family="Times,serif" font-size="14.00">ID &#45; kb:File&#45;1</text>
<text text-anchor="middle" x="240.85" y="-185.51" font-family="Times,serif" font-size="14.00">Temporary file</text>
</a>
</g>
</g>
<!-- _9640acc41515017ae2496fbc88f8afacf04fb0f88982ca5cc407bff57a578d46&#45;&gt;_7a2198a44f578179dc8e96c483e423346bf212bb366a1d7fc5cef491c825bb70 -->
<g id="edge1" class="edge">
<title>_9640acc41515017ae2496fbc88f8afacf04fb0f88982ca5cc407bff57a578d46&#45;&gt;_7a2198a44f578179dc8e96c483e423346bf212bb366a1d7fc5cef491c825bb70</title>
<path fill="none" stroke="darkgreen" d="M250.69,-247.12C254.92,-257.71 260.85,-268.42 269.1,-276.36 273.22,-280.32 277.6,-284.02 282.2,-287.5"/>
<polygon fill="darkgreen" stroke="darkgreen" points="279.86,-290.13 290.05,-293.02 283.89,-284.4 279.86,-290.13"/>
<text text-anchor="middle" x="303.73" y="-266.86" font-family="Times,serif" font-size="10.00" fill="darkgreen">wasGeneratedBy</text>
</g>
<!-- _dc2c3059d5723d253760829c5b4f905b22224ac4f7d513addb4f7b86c7836acc -->
<!-- _9640acc41515017ae2496fbc88f8afacf04fb0f88982ca5cc407bff57a578d46&#45;&gt;_dc2c3059d5723d253760829c5b4f905b22224ac4f7d513addb4f7b86c7836acc -->
<!-- _243b5d196663b32ca6eedf15ee2f5276f2eec4f8526eba892e66e8e8d1969373 -->
<g id="node3" class="node">
<title>_243b5d196663b32ca6eedf15ee2f5276f2eec4f8526eba892e66e8e8d1969373</title>
<g id="a_node3"><a xlink:title="ID &#45; urn:example:File&#45;2">
<ellipse fill="#fff68f" stroke="#808080" cx="295.85" cy="-101.25" rx="62.61" ry="18"/>
<text text-anchor="middle" x="295.85" y="-96.2" font-family="Times,serif" font-size="14.00">ID &#45; kb:File&#45;2</text>
</a>
</g>
</g>
<!-- _243b5d196663b32ca6eedf15ee2f5276f2eec4f8526eba892e66e8e8d1969373&#45;&gt;_7a2198a44f578179dc8e96c483e423346bf212bb366a1d7fc5cef491c825bb70 -->
<g id="edge2" class="edge">
<title>_243b5d196663b32ca6eedf15ee2f5276f2eec4f8526eba892e66e8e8d1969373&#45;&gt;_7a2198a44f578179dc8e96c483e423346bf212bb366a1d7fc5cef491c825bb70</title>
<path fill="none" stroke="darkgreen" d="M315.53,-118.59C321.52,-124.14 327.84,-130.62 332.85,-137.25 367.34,-182.87 396.48,-241.44 415.25,-283.59"/>
<polygon fill="darkgreen" stroke="darkgreen" points="411.96,-284.8 419.19,-292.55 418.37,-281.98 411.96,-284.8"/>
<text text-anchor="middle" x="431.73" y="-202.93" font-family="Times,serif" font-size="10.00" fill="darkgreen">wasGeneratedBy</text>
</g>
<!-- _243b5d196663b32ca6eedf15ee2f5276f2eec4f8526eba892e66e8e8d1969373&#45;&gt;_9640acc41515017ae2496fbc88f8afacf04fb0f88982ca5cc407bff57a578d46 -->
<g id="edge3" class="edge">
<title>_243b5d196663b32ca6eedf15ee2f5276f2eec4f8526eba892e66e8e8d1969373&#45;&gt;_9640acc41515017ae2496fbc88f8afacf04fb0f88982ca5cc407bff57a578d46</title>
<path fill="none" stroke="black" d="M277.54,-118.82C272.32,-124.28 266.99,-130.66 263.1,-137.25 259.72,-142.98 256.79,-149.29 254.26,-155.69"/>
<polygon fill="black" stroke="black" points="250.99,-154.43 250.89,-165.03 257.57,-156.81 250.99,-154.43"/>
<text text-anchor="middle" x="297.73" y="-139" font-family="Times,serif" font-size="10.00">wasDerivedFrom</text>
</g>
<!-- _a9f4db6f08a81e39998fabcaa4512886980dacb58450084db6489297d95be817 -->
<!-- _243b5d196663b32ca6eedf15ee2f5276f2eec4f8526eba892e66e8e8d1969373&#45;&gt;_a9f4db6f08a81e39998fabcaa4512886980dacb58450084db6489297d95be817 -->
<!-- _cfdab38f58c2769eab6e97ec8fe4ee2e3d00fd690bfde61e877e4b05c3709b2c -->
<g id="node4" class="node">
<title>_cfdab38f58c2769eab6e97ec8fe4ee2e3d00fd690bfde61e877e4b05c3709b2c</title>
<g id="a_node4"><a xlink:title="ID &#45; urn:example:ProvenanceRecord&#45;1">
<polygon fill="#cdc673" stroke="#808080" points="527.23,-36 524.23,-40 503.23,-40 500.23,-36 354.48,-36 354.48,0 527.23,0 527.23,-36"/>
<text text-anchor="middle" x="440.85" y="-12.95" font-family="Times,serif" font-size="14.00">ID &#45; kb:ProvenanceRecord&#45;1</text>
</a>
</g>
</g>
<!-- _cfdab38f58c2769eab6e97ec8fe4ee2e3d00fd690bfde61e877e4b05c3709b2c&#45;&gt;_7a2198a44f578179dc8e96c483e423346bf212bb366a1d7fc5cef491c825bb70 -->
<g id="edge4" class="edge">
<title>_cfdab38f58c2769eab6e97ec8fe4ee2e3d00fd690bfde61e877e4b05c3709b2c&#45;&gt;_7a2198a44f578179dc8e96c483e423346bf212bb366a1d7fc5cef491c825bb70</title>
<path fill="none" stroke="darkgreen" d="M480.42,-36.46C487.01,-41.18 492.96,-46.98 496.85,-54 544.76,-140.44 533.54,-184.59 496.85,-276.36 495.77,-279.08 494.5,-281.74 493.09,-284.35"/>
<polygon fill="darkgreen" stroke="darkgreen" points="490.13,-282.48 487.77,-292.81 496.06,-286.2 490.13,-282.48"/>
<text text-anchor="middle" x="562.73" y="-139" font-family="Times,serif" font-size="10.00" fill="darkgreen">wasGeneratedBy</text>
</g>
<!-- _cfdab38f58c2769eab6e97ec8fe4ee2e3d00fd690bfde61e877e4b05c3709b2c&#45;&gt;_243b5d196663b32ca6eedf15ee2f5276f2eec4f8526eba892e66e8e8d1969373 -->
<g id="edge5" class="edge">
<title>_cfdab38f58c2769eab6e97ec8fe4ee2e3d00fd690bfde61e877e4b05c3709b2c&#45;&gt;_243b5d196663b32ca6eedf15ee2f5276f2eec4f8526eba892e66e8e8d1969373</title>
<path fill="none" stroke="black" d="M409.75,-36.43C387.32,-49 356.95,-66.02 333.21,-79.32"/>
<polygon fill="black" stroke="black" points="331.82,-76.09 324.8,-84.03 335.24,-82.19 331.82,-76.09"/>
<text text-anchor="middle" x="401.23" y="-55.75" font-family="Times,serif" font-size="10.00">hadMember</text>
</g>
<!-- _23be2b5a9126a05fc364be23b3cce6cc8a2047529d85c0d5f83230b0beb6989d -->
<!-- _cfdab38f58c2769eab6e97ec8fe4ee2e3d00fd690bfde61e877e4b05c3709b2c&#45;&gt;_23be2b5a9126a05fc364be23b3cce6cc8a2047529d85c0d5f83230b0beb6989d -->
<!-- _54434fa471843f268f65936af598f29c80e1cd71a44ac3fe2194bb1246df4716 -->
<!-- _54434fa471843f268f65936af598f29c80e1cd71a44ac3fe2194bb1246df4716&#45;&gt;_7a2198a44f578179dc8e96c483e423346bf212bb366a1d7fc5cef491c825bb70 -->
<!-- _54434fa471843f268f65936af598f29c80e1cd71a44ac3fe2194bb1246df4716&#45;&gt;_dc2c3059d5723d253760829c5b4f905b22224ac4f7d513addb4f7b86c7836acc -->
<!-- _54434fa471843f268f65936af598f29c80e1cd71a44ac3fe2194bb1246df4716&#45;&gt;_a9f4db6f08a81e39998fabcaa4512886980dacb58450084db6489297d95be817 -->
<!-- _54434fa471843f268f65936af598f29c80e1cd71a44ac3fe2194bb1246df4716&#45;&gt;_23be2b5a9126a05fc364be23b3cce6cc8a2047529d85c0d5f83230b0beb6989d -->
<!-- _63cda21336994dbffd49f66c4968008eb32cb02814baf1932499e916bd5c7bb1 -->
<!-- _54434fa471843f268f65936af598f29c80e1cd71a44ac3fe2194bb1246df4716&#45;&gt;_63cda21336994dbffd49f66c4968008eb32cb02814baf1932499e916bd5c7bb1 -->
<!-- _7623d2a56cea53d05f990c68f634df08aeb7a7bb968f902c673e42e42b22b479 -->
<!-- _54434fa471843f268f65936af598f29c80e1cd71a44ac3fe2194bb1246df4716&#45;&gt;_7623d2a56cea53d05f990c68f634df08aeb7a7bb968f902c673e42e42b22b479 -->
<!-- _dc2c3059d5723d253760829c5b4f905b22224ac4f7d513addb4f7b86c7836acc&#45;&gt;_514c766e8ad290ece0d24234da5a9b8eb7670f9ce283ceb205b50140adb3e499 -->
<!-- _a9f4db6f08a81e39998fabcaa4512886980dacb58450084db6489297d95be817&#45;&gt;_dc2c3059d5723d253760829c5b4f905b22224ac4f7d513addb4f7b86c7836acc -->
<!-- _a9f4db6f08a81e39998fabcaa4512886980dacb58450084db6489297d95be817&#45;&gt;_514c766e8ad290ece0d24234da5a9b8eb7670f9ce283ceb205b50140adb3e499 -->
<!-- _23be2b5a9126a05fc364be23b3cce6cc8a2047529d85c0d5f83230b0beb6989d&#45;&gt;_514c766e8ad290ece0d24234da5a9b8eb7670f9ce283ceb205b50140adb3e499 -->
<!-- _63cda21336994dbffd49f66c4968008eb32cb02814baf1932499e916bd5c7bb1&#45;&gt;_9640acc41515017ae2496fbc88f8afacf04fb0f88982ca5cc407bff57a578d46 -->
<!-- _63cda21336994dbffd49f66c4968008eb32cb02814baf1932499e916bd5c7bb1&#45;&gt;_dc2c3059d5723d253760829c5b4f905b22224ac4f7d513addb4f7b86c7836acc -->
<!-- _63cda21336994dbffd49f66c4968008eb32cb02814baf1932499e916bd5c7bb1&#45;&gt;_a9f4db6f08a81e39998fabcaa4512886980dacb58450084db6489297d95be817 -->
<!-- _63cda21336994dbffd49f66c4968008eb32cb02814baf1932499e916bd5c7bb1&#45;&gt;_514c766e8ad290ece0d24234da5a9b8eb7670f9ce283ceb205b50140adb3e499 -->
<!-- _7623d2a56cea53d05f990c68f634df08aeb7a7bb968f902c673e42e42b22b479&#45;&gt;_514c766e8ad290ece0d24234da5a9b8eb7670f9ce283ceb205b50140adb3e499 -->
</g>
</svg>