prov-constraints staged for REC release
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 09 Apr 2013 09:45:41 +0100
changeset 6084 f28269e94a55
parent 6083 1c5227dc7729
child 6085 bdc946a0b680
prov-constraints staged for REC release
model/images/constraints/overview.svg
model/images/constraints/prov-c.graffle.svg/overview.svg
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/images/constraints/overview.svg	Tue Apr 09 09:45:41 2013 +0100
@@ -0,0 +1,538 @@
+<?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>
--- a/model/images/constraints/prov-c.graffle.svg/overview.svg	Tue Apr 09 09:43:31 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,538 +0,0 @@
-<?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>