--- a/model/images/constraints/prov-c.graffle.svg/overview.svg Mon Sep 03 21:41:07 2012 +0100
+++ b/model/images/constraints/prov-c.graffle.svg/overview.svg Mon Sep 03 21:52:09 2012 +0100
@@ -1,3 +1,538 @@
-<?xml version="1.0"?>
-<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<svg xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" version="1.1" viewBox="0 0 504 502" width="42pc" height="502pt"><metadata xmlns:dc="http://purl.org/dc/elements/1.1/"><dc:date>2012-07-29 18:30Z</dc:date><!-- Produced by OmniGraffle Professional 5.4 --></metadata><defs><font-face font-family="Georgia" font-size="16" panose-1="2 4 5 2 5 4 5 2 3 3" units-per-em="1000" underline-position="-88.378906" underline-thickness="49.316406" slope="0" x-height="495.60547" cap-height="709.47266" ascent="916.9922" descent="-219.23828" font-weight="500"><font-face-src><font-face-name name="Georgia"/></font-face-src></font-face><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" viewBox="-1 -2 5 4" markerWidth="5" markerHeight="4" color="black"><g><path d="M 2.4000001 0 L 0 -.90000004 L 0 .90000004 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker></defs><g stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1"><title>overview</title><rect fill="white" width="982" height="502"/><g><title>Layer 1</title><rect x="11.4437075" y="39" width="179.55629" height="120" fill="white"/><rect x="11.4437075" y="39" width="179.55629" height="120" stroke="#999" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(16.443707 44)" fill="black"><tspan font-family="Georgia" font-size="16" font-weight="500" x="0" y="15" textLength="74.28125">Inferences</tspan></text><rect x="45.460925" y="78.000006" width="111.521855" height="54" fill="white"/><rect x="45.460925" y="78.000006" width="111.521855" height="54" stroke="#999" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(50.460925 83.000006)" fill="black"><tspan font-family="Georgia" font-size="16" font-weight="500" x="11.284365" y="15" textLength="78.953125">Definitions</tspan></text><rect x="11.4437075" y="159" width="179.55629" height="303.84534" fill="white"/><rect x="11.4437075" y="159" width="179.55629" height="303.84534" stroke="#999" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(16.443707 164)" fill="black"><tspan font-family="Georgia" font-size="16" font-weight="500" x="0" y="15" textLength="81.984375">Constraints</tspan></text><rect x="45.460925" y="203.70636" width="111.521855" height="54" fill="white"/><rect x="45.460925" y="203.70636" width="111.521855" height="54" stroke="#999" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(50.460925 208.70636)" fill="black"><tspan font-family="Georgia" font-size="16" font-weight="500" x="9.1867087" y="15" textLength="87.00781">Uniqueness </tspan><tspan font-family="Georgia" font-size="16" font-weight="500" x="9.76874" y="34" textLength="81.984375">Constraints</tspan></text><rect x="45.460925" y="318.52606" width="111.521855" height="54" fill="white"/><rect x="45.460925" y="318.52606" width="111.521855" height="54" stroke="#999" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(50.460925 323.52606)" fill="black"><tspan font-family="Georgia" font-size="16" font-weight="500" x="18.647646" y="15" textLength="68.085938">Ordering </tspan><tspan font-family="Georgia" font-size="16" font-weight="500" x="9.76874" y="34" textLength="81.984375">Constraints</tspan></text><rect x="303.3774" y="132.70636" width="188.98047" height="54" fill="#cfceff"/><rect x="303.3774" y="132.70636" width="188.98047" height="54" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(308.3774 150.20636)" fill="black"><tspan font-family="Georgia" font-size="16" font-weight="500" x="9.2753906" y="15" textLength="160.42969">Normalization Activity</tspan></text><line x1="329.31458" y1="132.52205" x2="198.5296" y2="80.66003" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><line x1="302.88569" y1="142.19024" x2="165.44017" y2="116.84319" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><line x1="302.89113" y1="182.4384" x2="165.34655" y2="215.35886" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><rect x="303.3774" y="352.7126" width="188.98047" height="54" fill="#cfceff"/><rect x="303.3774" y="352.7126" width="188.98047" height="54" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(308.3774 370.2126)" fill="black"><tspan font-family="Georgia" font-size="16" font-weight="500" x="23.673828" y="15" textLength="131.63281">Validation Activity</tspan></text><line x1="302.88069" y1="368.76598" x2="165.52624" y2="352.93677" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><path d="M 340.9804 61.70635 L 454.7548 61.70635 C 464.14364 61.70635 471.7548 69.31751 471.7548 78.70635 L 471.7548 93.4127 C 471.7548 102.801543 464.14364 110.4127 454.7548 110.4127 L 340.9804 110.4127 C 331.59157 110.4127 323.9804 102.801543 323.9804 93.4127 C 323.9804 93.4127 323.9804 93.4127 323.9804 93.4127 L 323.9804 78.70635 C 323.9804 69.31751 331.59157 61.70635 340.9804 61.70635 C 340.9804 61.70635 340.9804 61.70635 340.9804 61.70635 Z" fill="#ffffbe"/><path d="M 340.9804 61.70635 L 454.7548 61.70635 C 464.14364 61.70635 471.7548 69.31751 471.7548 78.70635 L 471.7548 93.4127 C 471.7548 102.801543 464.14364 110.4127 454.7548 110.4127 L 340.9804 110.4127 C 331.59157 110.4127 323.9804 102.801543 323.9804 93.4127 C 323.9804 93.4127 323.9804 93.4127 323.9804 93.4127 L 323.9804 78.70635 C 323.9804 69.31751 331.59157 61.70635 340.9804 61.70635 C 340.9804 61.70635 340.9804 61.70635 340.9804 61.70635 Z" stroke="#999" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(328.9804 66.70635)" fill="black"><tspan font-family="Georgia" font-size="16" font-weight="500" x="6.17626" y="15" textLength="125.421875">PROV instance(s)</tspan></text><line x1="397.86762" y1="132.20636" x2="397.86762" y2="119.0127" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><path d="M 340.98042 209.00002 L 454.75484 209.00002 C 464.14369 209.00002 471.75484 216.61118 471.75484 226.00002 L 471.75484 240.70637 C 471.75484 250.09521 464.14369 257.70637 454.75484 257.70637 L 340.98042 257.70637 C 331.59158 257.70637 323.98042 250.09521 323.98042 240.70637 C 323.98042 240.70637 323.98042 240.70637 323.98042 240.70636 L 323.98042 226.00002 C 323.98042 216.61118 331.59158 209.00002 340.98042 209.00002 C 340.98042 209.00002 340.98042 209.00002 340.98042 209.00002 Z" fill="#ffffbe"/><path d="M 340.98042 209.00002 L 454.75484 209.00002 C 464.14369 209.00002 471.75484 216.61118 471.75484 226.00002 L 471.75484 240.70637 C 471.75484 250.09521 464.14369 257.70637 454.75484 257.70637 L 340.98042 257.70637 C 331.59158 257.70637 323.98042 250.09521 323.98042 240.70637 C 323.98042 240.70637 323.98042 240.70637 323.98042 240.70636 L 323.98042 226.00002 C 323.98042 216.61118 331.59158 209.00002 340.98042 209.00002 C 340.98042 209.00002 340.98042 209.00002 340.98042 209.00002 Z" stroke="#999" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(328.98042 214.00002)" fill="black"><tspan font-family="Georgia" font-size="16" font-weight="500" x="27.437992" y="15" textLength="82.898438">Normalized</tspan><tspan font-family="Georgia" font-size="16" font-weight="500" x="6.1762733" y="34" textLength="125.421875">PROV instance(s)</tspan></text><line x1="397.86763" y1="352.2126" x2="397.86763" y2="266.30637" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><line x1="397.86763" y1="208.50002" x2="397.86763" y2="195.30636" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><path d="M 369.7 431.67083 L 426.03527 431.67083 C 434.64387 431.67083 441.62252 438.64948 441.62252 447.25808 L 441.62252 447.25808 C 441.62252 455.86668 434.64387 462.84533 426.03527 462.84533 L 369.7 462.84533 C 361.0914 462.84533 354.11275 455.86668 354.11275 447.25808 C 354.11275 447.25808 354.11275 447.25808 354.11275 447.25808 L 354.11275 447.25808 C 354.11275 438.64948 361.0914 431.67083 369.7 431.67083 C 369.7 431.67083 369.7 431.67083 369.7 431.67083 Z" fill="#ffffbe"/><path d="M 369.7 431.67083 L 426.03527 431.67083 C 434.64387 431.67083 441.62252 438.64948 441.62252 447.25808 L 441.62252 447.25808 C 441.62252 455.86668 434.64387 462.84533 426.03527 462.84533 L 369.7 462.84533 C 361.0914 462.84533 354.11275 455.86668 354.11275 447.25808 C 354.11275 447.25808 354.11275 447.25808 354.11275 447.25808 L 354.11275 447.25808 C 354.11275 438.64948 361.0914 431.67083 369.7 431.67083 C 369.7 431.67083 369.7 431.67083 369.7 431.67083 Z" stroke="#999" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(359.11275 436.67083)" fill="black"><tspan font-family="Georgia" font-size="16" font-weight="500" x="11.122074" y="15" textLength="55.265625">Validity</tspan></text><line x1="397.86763" y1="431.17083" x2="397.86763" y2="415.3126" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><path d="M 208.6089 110.05966 L 288.2657 124.74959 L 283.00635 153.26869 L 203.34955 138.57876 Z" fill="white"/><text transform="translate(212.61921 115.88353) rotate(10.448822)" fill="black"><tspan font-family="Georgia" font-size="16" font-weight="500" x=".34765625" y="15" textLength="70.304688">prov:used</tspan></text><rect x="45.460925" y="386.34741" width="111.521855" height="54" fill="white"/><rect x="45.460925" y="386.34741" width="111.521855" height="54" stroke="#999" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(50.460925 391.34741)" fill="black"><tspan font-family="Georgia" font-size="16" font-weight="500" x="4.29999" y="15" textLength="96.78125">Impossibility </tspan><tspan font-family="Georgia" font-size="16" font-weight="500" x="9.76874" y="34" textLength="81.984375">Constraints</tspan></text><line x1="302.88058" y1="390.4826" x2="165.52803" y2="406.05618" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><rect x="201.72929" y="249.82545" width="111.521855" height="54" fill="white"/><rect x="201.72929" y="249.82545" width="111.521855" height="54" stroke="#999" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(206.72929 254.82545)" fill="black"><tspan font-family="Georgia" font-size="16" font-weight="500" x="37.401552" y="15" textLength="30.578125">Key </tspan><tspan font-family="Georgia" font-size="16" font-weight="500" x="9.76874" y="34" textLength="81.984375">Constraints</tspan></text></g></g></svg>
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+ xmlns:dc="http://purl.org/dc/elements/1.1/"
+ xmlns:cc="http://creativecommons.org/ns#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:svg="http://www.w3.org/2000/svg"
+ xmlns="http://www.w3.org/2000/svg"
+ xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+ xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+ version="1.1"
+ viewBox="0 0 504 502"
+ width="42pc"
+ height="502pt"
+ id="svg2"
+ inkscape:version="0.48.2 r9819"
+ sodipodi:docname="overview.svg">
+ <sodipodi:namedview
+ pagecolor="#ffffff"
+ bordercolor="#666666"
+ borderopacity="1"
+ objecttolerance="10"
+ gridtolerance="10"
+ guidetolerance="10"
+ inkscape:pageopacity="0"
+ inkscape:pageshadow="2"
+ inkscape:window-width="1680"
+ inkscape:window-height="1018"
+ id="namedview159"
+ showgrid="false"
+ inkscape:zoom="1.2260692"
+ inkscape:cx="462.04568"
+ inkscape:cy="313.75"
+ inkscape:window-x="0"
+ inkscape:window-y="0"
+ inkscape:window-maximized="1"
+ inkscape:current-layer="svg2" />
+ <metadata
+ id="metadata4">
+ <dc:date>2012-07-29 18:30Z</dc:date>
+ <!-- Produced by OmniGraffle Professional 5.4 -->
+ <rdf:RDF>
+ <cc:Work
+ rdf:about="">
+ <dc:format>image/svg+xml</dc:format>
+ <dc:type
+ rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+ </cc:Work>
+ </rdf:RDF>
+ </metadata>
+ <defs
+ id="defs6">
+ <font-face
+ font-family="Georgia"
+ font-size="16"
+ panose-1="2 4 5 2 5 4 5 2 3 3"
+ units-per-em="1000"
+ underline-position="-88.378906"
+ underline-thickness="49.316406"
+ slope="0"
+ x-height="495.60547"
+ cap-height="709.47266"
+ ascent="916.9922"
+ descent="-219.23828"
+ font-weight="500"
+ id="font-face8">
+ <font-face-src
+ id="font-face-src10">
+ <font-face-name
+ name="Georgia"
+ id="font-face-name12" />
+ </font-face-src>
+ </font-face>
+ <marker
+ orient="auto"
+ overflow="visible"
+ markerUnits="strokeWidth"
+ id="FilledArrow_Marker"
+ viewBox="-1 -2 5 4"
+ markerWidth="5"
+ markerHeight="4"
+ color="black">
+ <g
+ id="g15">
+ <path
+ d="M 2.4000001 0 L 0 -.90000004 L 0 .90000004 Z"
+ fill="currentColor"
+ stroke="currentColor"
+ stroke-width="1"
+ id="path17" />
+ </g>
+ </marker>
+ <marker
+ style="color:#000000;overflow:visible"
+ orient="auto"
+ overflow="visible"
+ markerUnits="strokeWidth"
+ id="FilledArrow_Marker-0"
+ viewBox="-1 -2 5 4"
+ markerWidth="5"
+ markerHeight="4">
+ <g
+ id="g15-4">
+ <path
+ style="fill:currentColor;stroke:currentColor;stroke-width:1"
+ inkscape:connector-curvature="0"
+ d="M 2.4000001,0 0,-0.90000004 0,0.90000004 z"
+ id="path17-2" />
+ </g>
+ </marker>
+ </defs>
+ <line
+ x1="397.86761"
+ y1="352.21259"
+ x2="397.86761"
+ y2="266.30637"
+ id="line117"
+ style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:round;stroke-linejoin:round;marker-end:url(#FilledArrow_Marker)" />
+ <rect
+ x="11.443707"
+ y="39"
+ width="179.55629"
+ height="120"
+ id="rect29"
+ style="fill:#ffffff;stroke:none" />
+ <rect
+ x="11.443707"
+ y="39"
+ width="179.55629"
+ height="120"
+ id="rect31"
+ style="fill:none;stroke:#999999;stroke-width:1;stroke-linecap:round;stroke-linejoin:round" />
+ <text
+ id="text33"
+ style="fill:#000000;stroke:none"
+ x="16.443707"
+ y="44">
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="16.443707"
+ y="59"
+ textLength="74.28125"
+ id="tspan35"
+ style="font-size:16px;font-weight:500;font-family:Georgia">Inferences</tspan>
+ </text>
+ <rect
+ x="45.460926"
+ y="78.000008"
+ width="111.52186"
+ height="54"
+ id="rect37"
+ style="fill:#ffffff;stroke:none" />
+ <rect
+ x="45.460926"
+ y="78.000008"
+ width="111.52186"
+ height="54"
+ id="rect39"
+ style="fill:none;stroke:#999999;stroke-width:1;stroke-linecap:round;stroke-linejoin:round" />
+ <text
+ id="text41"
+ style="fill:#000000;stroke:none"
+ x="48.860928"
+ y="95.799995">
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="60.14529"
+ y="110.8"
+ textLength="78.953125"
+ id="tspan43"
+ style="font-size:16px;font-weight:500;font-family:Georgia">Definitions</tspan>
+ </text>
+ <rect
+ x="11.443707"
+ y="159"
+ width="179.55629"
+ height="324.9119"
+ id="rect47"
+ style="fill:none;stroke:#999999;stroke-width:1.03408575;stroke-linecap:round;stroke-linejoin:round" />
+ <text
+ id="text49"
+ style="fill:#000000;stroke:none"
+ x="16.443707"
+ y="164">
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="16.443707"
+ y="179"
+ textLength="81.984375"
+ id="tspan51"
+ style="font-size:16px;font-weight:500;font-family:Georgia">Constraints</tspan>
+ </text>
+ <rect
+ x="45.460926"
+ y="203.70636"
+ width="111.52186"
+ height="54"
+ id="rect53"
+ style="fill:#ffffff;stroke:none" />
+ <rect
+ x="45.460926"
+ y="203.70636"
+ width="111.52186"
+ height="54"
+ id="rect55"
+ style="fill:none;stroke:#999999;stroke-width:1;stroke-linecap:round;stroke-linejoin:round" />
+ <text
+ id="text57"
+ style="fill:#000000;stroke:none"
+ x="50.460926"
+ y="208.70636">
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="59.647633"
+ y="223.70636"
+ textLength="87.00781"
+ id="tspan59"
+ style="font-size:16px;font-weight:500;font-family:Georgia">Uniqueness</tspan>
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="60.229664"
+ y="242.70636"
+ textLength="81.984375"
+ id="tspan61"
+ style="font-size:16px;font-weight:500;font-family:Georgia">Constraints</tspan>
+ </text>
+ <rect
+ x="45.460926"
+ y="272.12589"
+ width="111.52186"
+ height="54"
+ id="rect63"
+ style="fill:#ffffff;stroke:none" />
+ <rect
+ x="45.460926"
+ y="272.12589"
+ width="111.52186"
+ height="54"
+ id="rect65"
+ style="fill:none;stroke:#999999;stroke-width:1;stroke-linecap:round;stroke-linejoin:round" />
+ <text
+ id="text67"
+ style="fill:#000000;stroke:none"
+ x="50.460926"
+ y="277.12589">
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="69.108574"
+ y="292.12589"
+ textLength="68.085938"
+ id="tspan69"
+ style="font-size:16px;font-weight:500;font-family:Georgia">Ordering</tspan>
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="60.229664"
+ y="311.12589"
+ textLength="81.984375"
+ id="tspan71"
+ style="font-size:16px;font-weight:500;font-family:Georgia">Constraints</tspan>
+ </text>
+ <rect
+ x="303.37741"
+ y="132.70636"
+ width="188.98047"
+ height="54"
+ id="rect73"
+ style="fill:#cfceff;stroke:none" />
+ <rect
+ x="303.37741"
+ y="132.70636"
+ width="188.98047"
+ height="54"
+ id="rect75"
+ style="fill:none;stroke:#0000ff;stroke-width:1;stroke-linecap:round;stroke-linejoin:round" />
+ <text
+ id="text77"
+ style="fill:#000000;stroke:none"
+ x="300.37738"
+ y="148.60635">
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="309.65277"
+ y="163.60635"
+ textLength="160.42969"
+ id="tspan79"
+ style="font-size:16px;font-weight:500;font-family:Georgia">Normalization Activity</tspan>
+ </text>
+ <line
+ x1="329.31458"
+ y1="132.52205"
+ x2="198.5296"
+ y2="80.660027"
+ id="line81"
+ style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:round;stroke-linejoin:round;marker-end:url(#FilledArrow_Marker)" />
+ <line
+ x1="302.88568"
+ y1="142.19025"
+ x2="165.44017"
+ y2="116.84319"
+ id="line83"
+ style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:round;stroke-linejoin:round;marker-end:url(#FilledArrow_Marker)" />
+ <line
+ x1="302.89114"
+ y1="182.4384"
+ x2="165.34656"
+ y2="215.35886"
+ id="line85"
+ style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:round;stroke-linejoin:round;marker-end:url(#FilledArrow_Marker)" />
+ <rect
+ x="303.37741"
+ y="306.31241"
+ width="188.98047"
+ height="54"
+ id="rect87"
+ style="fill:#cfceff;stroke:none" />
+ <rect
+ x="303.37741"
+ y="306.31241"
+ width="188.98047"
+ height="54"
+ id="rect89"
+ style="fill:none;stroke:#0000ff;stroke-width:1;stroke-linecap:round;stroke-linejoin:round" />
+ <text
+ id="text91"
+ style="fill:#000000;stroke:none"
+ x="308.37741"
+ y="323.81241">
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="332.05124"
+ y="338.81241"
+ textLength="131.63281"
+ id="tspan93"
+ style="font-size:16px;font-weight:500;font-family:Georgia">Validation Activity</tspan>
+ </text>
+ <line
+ x1="302.88068"
+ y1="322.36581"
+ x2="165.52625"
+ y2="306.53659"
+ id="line95"
+ style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:round;stroke-linejoin:round;marker-end:url(#FilledArrow_Marker)" />
+ <path
+ d="m 340.9804,61.70635 113.7744,0 c 9.38884,0 17,7.61116 17,17 l 0,14.70635 c 0,9.38884 -7.61116,17 -17,17 l -113.7744,0 c -9.38883,0 -17,-7.61116 -17,-17 0,0 0,0 0,0 l 0,-14.70635 c 0,-9.38884 7.61117,-17 17,-17 0,0 0,0 0,0 z"
+ id="path97"
+ inkscape:connector-curvature="0"
+ style="fill:#ffffbe;stroke:none" />
+ <path
+ d="m 340.9804,61.70635 113.7744,0 c 9.38884,0 17,7.61116 17,17 l 0,14.70635 c 0,9.38884 -7.61116,17 -17,17 l -113.7744,0 c -9.38883,0 -17,-7.61116 -17,-17 0,0 0,0 0,0 l 0,-14.70635 c 0,-9.38884 7.61117,-17 17,-17 0,0 0,0 0,0 z"
+ id="path99"
+ inkscape:connector-curvature="0"
+ style="fill:none;stroke:#999999;stroke-width:1;stroke-linecap:round;stroke-linejoin:round" />
+ <text
+ id="text101"
+ style="fill:#000000;stroke:none"
+ x="325.7804"
+ y="74.706345">
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="331.95663"
+ y="89.706345"
+ textLength="125.421875"
+ id="tspan103"
+ style="font-size:16px;font-weight:500;font-family:Georgia">PROV instance(s)</tspan>
+ </text>
+ <line
+ x1="397.86761"
+ y1="132.20636"
+ x2="397.86761"
+ y2="119.0127"
+ id="line105"
+ style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:round;stroke-linejoin:round;marker-end:url(#FilledArrow_Marker)" />
+ <path
+ d="m 340.98042,209.00002 113.77442,0 c 9.38885,0 17,7.61116 17,17 l 0,14.70635 c 0,9.38884 -7.61115,17 -17,17 l -113.77442,0 c -9.38884,0 -17,-7.61116 -17,-17 0,0 0,0 0,-1e-5 l 0,-14.70634 c 0,-9.38884 7.61116,-17 17,-17 0,0 0,0 0,0 z"
+ id="path107"
+ inkscape:connector-curvature="0"
+ style="fill:#ffffbe;stroke:none" />
+ <path
+ d="m 340.98042,209.00002 113.77442,0 c 9.38885,0 17,7.61116 17,17 l 0,14.70635 c 0,9.38884 -7.61115,17 -17,17 l -113.77442,0 c -9.38884,0 -17,-7.61116 -17,-17 0,0 0,0 0,-1e-5 l 0,-14.70634 c 0,-9.38884 7.61116,-17 17,-17 0,0 0,0 0,0 z"
+ id="path109"
+ inkscape:connector-curvature="0"
+ style="fill:none;stroke:#999999;stroke-width:1;stroke-linecap:round;stroke-linejoin:round" />
+ <text
+ id="text111"
+ style="fill:#000000;stroke:none"
+ x="328.98041"
+ y="214.00002">
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="356.41843"
+ y="229.00002"
+ textLength="82.898438"
+ id="tspan113"
+ style="font-size:16px;font-weight:500;font-family:Georgia">Normalized</tspan>
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="335.15671"
+ y="248.00002"
+ textLength="125.421875"
+ id="tspan115"
+ style="font-size:16px;font-weight:500;font-family:Georgia">PROV instance(s)</tspan>
+ </text>
+ <line
+ x1="397.86761"
+ y1="208.50002"
+ x2="397.86761"
+ y2="195.30637"
+ id="line119"
+ style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:round;stroke-linejoin:round;marker-end:url(#FilledArrow_Marker)" />
+ <path
+ d="m 369.7,385.27083 56.33527,0 c 8.6086,0 15.58725,6.97865 15.58725,15.58725 l 0,0 c 0,8.6086 -6.97865,15.58725 -15.58725,15.58725 l -56.33527,0 c -8.6086,0 -15.58725,-6.97865 -15.58725,-15.58725 0,0 0,0 0,0 l 0,0 c 0,-8.6086 6.97865,-15.58725 15.58725,-15.58725 0,0 0,0 0,0 z"
+ id="path121"
+ inkscape:connector-curvature="0"
+ style="fill:#ffffbe;stroke:none" />
+ <path
+ d="m 369.7,385.27083 56.33527,0 c 8.6086,0 15.58725,6.97865 15.58725,15.58725 l 0,0 c 0,8.6086 -6.97865,15.58725 -15.58725,15.58725 l -56.33527,0 c -8.6086,0 -15.58725,-6.97865 -15.58725,-15.58725 0,0 0,0 0,0 l 0,0 c 0,-8.6086 6.97865,-15.58725 15.58725,-15.58725 0,0 0,0 0,0 z"
+ id="path123"
+ inkscape:connector-curvature="0"
+ style="fill:none;stroke:#999999;stroke-width:1;stroke-linecap:round;stroke-linejoin:round" />
+ <text
+ id="text125"
+ style="fill:#000000;stroke:none"
+ x="359.11276"
+ y="390.27066">
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="370.23483"
+ y="405.27066"
+ textLength="55.265625"
+ id="tspan127"
+ style="font-size:16px;font-weight:500;font-family:Georgia">Validity</tspan>
+ </text>
+ <line
+ x1="397.86761"
+ y1="384.77066"
+ x2="397.86761"
+ y2="368.91241"
+ id="line129"
+ style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:round;stroke-linejoin:round;marker-end:url(#FilledArrow_Marker)" />
+ <rect
+ x="45.460926"
+ y="339.94724"
+ width="111.52186"
+ height="54"
+ id="rect137"
+ style="fill:#ffffff;stroke:none" />
+ <rect
+ x="45.460926"
+ y="339.94724"
+ width="111.52186"
+ height="54"
+ id="rect139"
+ style="fill:none;stroke:#999999;stroke-width:1;stroke-linecap:round;stroke-linejoin:round" />
+ <text
+ id="text141"
+ style="fill:#000000;stroke:none"
+ x="50.460926"
+ y="344.94724">
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="54.760914"
+ y="359.94724"
+ textLength="96.78125"
+ id="tspan143"
+ style="font-size:16px;font-weight:500;font-family:Georgia">Impossibility</tspan>
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="60.229664"
+ y="378.94724"
+ textLength="81.984375"
+ id="tspan145"
+ style="font-size:16px;font-weight:500;font-family:Georgia">Constraints</tspan>
+ </text>
+ <line
+ x1="302.88058"
+ y1="344.08243"
+ x2="165.52803"
+ y2="359.65601"
+ id="line147"
+ style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:round;stroke-linejoin:round;marker-end:url(#FilledArrow_Marker)" />
+ <rect
+ x="201.72929"
+ y="249.82545"
+ width="111.52186"
+ height="54"
+ id="rect149"
+ style="fill:#ffffff;stroke:none" />
+ <rect
+ x="45.460918"
+ y="408.57074"
+ width="111.52187"
+ height="54"
+ id="rect139-9"
+ style="fill:none;stroke:#999999;stroke-width:1;stroke-linecap:round;stroke-linejoin:round" />
+ <text
+ id="text67-8"
+ style="font-size:12px;text-align:center;text-anchor:middle;fill:#000000;stroke:none"
+ x="140.40926"
+ y="414.42563">
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="114.21309"
+ y="429.42563"
+ textLength="68.085938"
+ id="tspan69-6"
+ style="font-size:16px;font-weight:500;text-align:center;text-anchor:middle;font-family:Georgia">Typing</tspan>
+ <tspan
+ font-size="16"
+ font-weight="500"
+ x="105.33417"
+ y="448.42563"
+ textLength="81.984375"
+ id="tspan71-1"
+ style="font-size:16px;font-weight:500;text-align:center;text-anchor:middle;font-family:Georgia">Constraints</tspan>
+ </text>
+ <line
+ x1="300.9408"
+ y1="357.27127"
+ x2="164.35402"
+ y2="431.38065"
+ id="line85-6"
+ style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:round;stroke-linejoin:round;marker-end:url(#FilledArrow_Marker);stroke-miterlimit:4;stroke-dasharray:none" />
+</svg>