--- /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>
