internal release prep
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Fri, 20 Jul 2012 08:21:25 +0100
changeset 4193 40fa2784620a
parent 4192 6ac839e0c6d5
child 4194 6843d7868692
internal release prep
model/images/constraints/informedByNonTransitive.png
model/images/constraints/informedByNonTransitive.svg
model/images/informedByNonTransitive.png
model/images/informedByNonTransitive.svg
model/prov-constraints.html
Binary file model/images/constraints/informedByNonTransitive.png has changed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/images/constraints/informedByNonTransitive.svg	Fri Jul 20 08:21:25 2012 +0100
@@ -0,0 +1,471 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<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"
+   width="744.09448819"
+   height="1052.3622047"
+   id="svg6710"
+   version="1.1"
+   inkscape:version="0.47 r22583"
+   sodipodi:docname="informedByNonTransitive.svg"
+   inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/informedByNonTransitive.png"
+   inkscape:export-xdpi="53.787918"
+   inkscape:export-ydpi="53.787918">
+  <defs
+     id="defs6712">
+    <marker
+       inkscape:stockid="Arrow1Lend"
+       orient="auto"
+       refY="0.0"
+       refX="0.0"
+       id="Arrow1Lend"
+       style="overflow:visible;">
+      <path
+         id="path4091"
+         d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;"
+         transform="scale(0.8) rotate(180) translate(12.5,0)" />
+    </marker>
+    <inkscape:perspective
+       sodipodi:type="inkscape:persp3d"
+       inkscape:vp_x="0 : 526.18109 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_z="744.09448 : 526.18109 : 1"
+       inkscape:persp3d-origin="372.04724 : 350.78739 : 1"
+       id="perspective6718" />
+    <inkscape:perspective
+       id="perspective6728"
+       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+       inkscape:vp_z="1 : 0.5 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_x="0 : 0.5 : 1"
+       sodipodi:type="inkscape:persp3d" />
+    <inkscape:perspective
+       id="perspective6728-3"
+       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+       inkscape:vp_z="1 : 0.5 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_x="0 : 0.5 : 1"
+       sodipodi:type="inkscape:persp3d" />
+    <inkscape:perspective
+       id="perspective6794"
+       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+       inkscape:vp_z="1 : 0.5 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_x="0 : 0.5 : 1"
+       sodipodi:type="inkscape:persp3d" />
+    <inkscape:perspective
+       id="perspective6840"
+       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+       inkscape:vp_z="1 : 0.5 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_x="0 : 0.5 : 1"
+       sodipodi:type="inkscape:persp3d" />
+    <inkscape:perspective
+       id="perspective6877"
+       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+       inkscape:vp_z="1 : 0.5 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_x="0 : 0.5 : 1"
+       sodipodi:type="inkscape:persp3d" />
+    <inkscape:perspective
+       id="perspective6959"
+       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+       inkscape:vp_z="1 : 0.5 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_x="0 : 0.5 : 1"
+       sodipodi:type="inkscape:persp3d" />
+    <inkscape:perspective
+       id="perspective8909"
+       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+       inkscape:vp_z="1 : 0.5 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_x="0 : 0.5 : 1"
+       sodipodi:type="inkscape:persp3d" />
+    <marker
+       inkscape:stockid="Arrow1Lend"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Lend-2"
+       style="overflow:visible">
+      <path
+         id="path4091-9"
+         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+    </marker>
+    <inkscape:perspective
+       id="perspective8937"
+       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+       inkscape:vp_z="1 : 0.5 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_x="0 : 0.5 : 1"
+       sodipodi:type="inkscape:persp3d" />
+    <marker
+       inkscape:stockid="Arrow1Lend"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Lend-4"
+       style="overflow:visible">
+      <path
+         id="path4091-0"
+         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1Lend"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="marker8943"
+       style="overflow:visible">
+      <path
+         id="path8945"
+         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+    </marker>
+  </defs>
+  <sodipodi:namedview
+     id="base"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageopacity="0.0"
+     inkscape:pageshadow="2"
+     inkscape:zoom="1.1342589"
+     inkscape:cx="248.29943"
+     inkscape:cy="729.86237"
+     inkscape:document-units="px"
+     inkscape:current-layer="layer1"
+     showgrid="false"
+     inkscape:window-width="1280"
+     inkscape:window-height="1001"
+     inkscape:window-x="1280"
+     inkscape:window-y="0"
+     inkscape:window-maximized="1"
+     showguides="true"
+     inkscape:guide-bbox="true" />
+  <metadata
+     id="metadata6715">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+        <dc:title></dc:title>
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <g
+     inkscape:label="Layer 1"
+     inkscape:groupmode="layer"
+     id="layer1">
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.99999988px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
+       d="M 478.34645,220.03937 457.3123,145.66376"
+       id="path8713"
+       inkscape:connector-type="polyline" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
+       d="M 531.29022,338.50418 506.33353,275.13667"
+       id="path8713-9"
+       inkscape:connector-type="polyline" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
+       d="M 405.10178,599.76389 380.14509,536.39638"
+       id="path8713-9-6"
+       inkscape:connector-type="polyline" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.99999994px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
+       d="M 352.15801,481.29908 330.24462,403.39694"
+       id="path8713-8"
+       inkscape:connector-type="polyline" />
+    <path
+       id="path6949"
+       d="m 449.54554,37.98786 c 0,660.1348 0,658.70594 0,658.70594"
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stroke-miterlimit:4;stroke-dasharray:2,2;stroke-dashoffset:0" />
+    <path
+       id="path6949-9"
+       d="m 420.58154,37.98786 c 0,660.1348 0,658.70594 0,658.70594"
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stroke-miterlimit:4;stroke-dasharray:2,2;stroke-dashoffset:0" />
+    <g
+       id="g5243"
+       transform="translate(379.25147,-35.000779)">
+      <path
+         sodipodi:type="arc"
+         style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:1.89999998;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+         id="path2816"
+         sodipodi:cx="93.832016"
+         sodipodi:cy="294.48819"
+         sodipodi:rx="31.75853"
+         sodipodi:ry="31.75853"
+         d="m 125.59055,294.48819 c 0,17.53975 -14.21878,31.75853 -31.758534,31.75853 -17.539752,0 -31.75853,-14.21878 -31.75853,-31.75853 0,-17.53975 14.218778,-31.75853 31.75853,-31.75853 17.539754,0 31.758534,14.21878 31.758534,31.75853 z"
+         transform="translate(15.48794,-9.9823697)" />
+      <g
+         transform="translate(4.885823,3.9831957)"
+         id="g2845">
+        <text
+           xml:space="preserve"
+           style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+           x="91.530045"
+           y="289.34262"
+           id="text2835"
+           sodipodi:linespacing="100%"><tspan
+             sodipodi:role="line"
+             id="tspan2837"
+             x="91.530045"
+             y="289.34262">e<tspan
+   style="font-size:20px"
+   id="tspan2839" /></tspan></text>
+        <text
+           xml:space="preserve"
+           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+           x="107.70822"
+           y="289.77463"
+           id="text2841"
+           sodipodi:linespacing="100%"><tspan
+             sodipodi:role="line"
+             id="tspan2843"
+             x="107.70822"
+             y="289.77463"
+             style="font-size:18px">1</tspan></text>
+      </g>
+    </g>
+    <g
+       id="g5243-3"
+       transform="translate(263.59906,218.54252)">
+      <path
+         sodipodi:type="arc"
+         style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:1.89999998;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+         id="path2816-5"
+         sodipodi:cx="93.832016"
+         sodipodi:cy="294.48819"
+         sodipodi:rx="31.75853"
+         sodipodi:ry="31.75853"
+         d="m 125.59055,294.48819 c 0,17.53975 -14.21878,31.75853 -31.758534,31.75853 -17.539752,0 -31.75853,-14.21878 -31.75853,-31.75853 0,-17.53975 14.218778,-31.75853 31.75853,-31.75853 17.539754,0 31.758534,14.21878 31.758534,31.75853 z"
+         transform="translate(15.48794,-9.9823697)" />
+      <g
+         transform="translate(4.885823,3.9831957)"
+         id="g2845-6">
+        <text
+           xml:space="preserve"
+           style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+           x="91.530045"
+           y="289.34262"
+           id="text2835-6"
+           sodipodi:linespacing="100%"><tspan
+             sodipodi:role="line"
+             id="tspan2837-3"
+             x="91.530045"
+             y="289.34262">e<tspan
+   style="font-size:20px"
+   id="tspan2839-3" /></tspan></text>
+        <text
+           xml:space="preserve"
+           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+           x="107.70822"
+           y="289.77463"
+           id="text2841-1"
+           sodipodi:linespacing="100%"><tspan
+             sodipodi:role="line"
+             id="tspan2843-2"
+             x="107.70822"
+             y="289.77463"
+             style="font-size:18px">2</tspan></text>
+      </g>
+    </g>
+    <rect
+       style="fill:#afc6e9;fill-opacity:1;stroke:#001ff4;stroke-width:1.89999998;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       id="rect2923"
+       width="216.55867"
+       height="62.447308"
+       x="448.95068"
+       y="81.138527" />
+    <g
+       id="g2917"
+       transform="translate(140.51483,-182.12599)">
+      <text
+         sodipodi:linespacing="100%"
+         id="text2835-5"
+         y="303.30817"
+         x="391.29538"
+         style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+         xml:space="preserve"><tspan
+           id="tspan2915"
+           sodipodi:role="line"
+           x="391.29538"
+           y="303.30817">a</tspan></text>
+      <text
+         sodipodi:linespacing="100%"
+         id="text2841-4"
+         y="303.74017"
+         x="409.47354"
+         style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+         xml:space="preserve"><tspan
+           style="font-size:18px"
+           y="303.74017"
+           x="409.47354"
+           id="tspan2843-8"
+           sodipodi:role="line">1</tspan></text>
+    </g>
+    <rect
+       style="fill:#afc6e9;fill-opacity:1;stroke:#001ff4;stroke-width:1.89999998;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       id="rect2923-0"
+       width="239.59016"
+       height="62.447308"
+       x="311.63348"
+       y="341.13852" />
+    <g
+       id="g2917-7"
+       transform="translate(26.229131,77.874009)">
+      <text
+         sodipodi:linespacing="100%"
+         id="text2835-5-3"
+         y="303.30817"
+         x="391.29538"
+         style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+         xml:space="preserve"><tspan
+           id="tspan2915-5"
+           sodipodi:role="line"
+           x="391.29538"
+           y="303.30817">a</tspan></text>
+      <text
+         sodipodi:linespacing="100%"
+         id="text2841-4-4"
+         y="303.74017"
+         x="409.47354"
+         style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+         xml:space="preserve"><tspan
+           style="font-size:18px"
+           y="303.74017"
+           x="409.47354"
+           id="tspan2843-8-7"
+           sodipodi:role="line">2</tspan></text>
+    </g>
+    <rect
+       style="fill:#afc6e9;fill-opacity:1;stroke:#001ff4;stroke-width:1.89999986;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       id="rect2923-0-9"
+       width="198.84213"
+       height="62.447308"
+       x="222.06657"
+       y="600.64917" />
+    <text
+       xml:space="preserve"
+       style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+       x="306.0903"
+       y="639.66785"
+       id="text2835-5-3-1"
+       sodipodi:linespacing="100%"><tspan
+         y="639.66785"
+         x="306.0903"
+         sodipodi:role="line"
+         id="tspan2915-5-8">a</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+       x="324.26846"
+       y="640.09985"
+       id="text2841-4-4-5"
+       sodipodi:linespacing="100%"><tspan
+         sodipodi:role="line"
+         id="tspan2843-8-7-8"
+         x="324.26846"
+         y="640.09985"
+         style="font-size:18px">3</tspan></text>
+    <path
+       id="path6941"
+       d="m 108.07086,47.834639 c 579.3307,0 580.21233,0.0084 580.21233,0.0084"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943)"
+       sodipodi:nodetypes="cc" />
+    <text
+       sodipodi:linespacing="100%"
+       id="text6943"
+       y="42.452583"
+       x="102.79784"
+       style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+       xml:space="preserve"><tspan
+         y="42.452583"
+         x="102.79784"
+         id="tspan6945"
+         sodipodi:role="line"
+         style="font-size:16">Time</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+       x="454.51443"
+       y="35.023102"
+       id="text8977"
+       sodipodi:linespacing="100%"><tspan
+         sodipodi:role="line"
+         id="tspan8979"
+         x="454.51443"
+         y="35.023102">start of a1</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:end;line-height:100%;writing-mode:lr-tb;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+       x="419.24911"
+       y="35.023102"
+       id="text8981"
+       sodipodi:linespacing="100%"><tspan
+         sodipodi:role="line"
+         id="tspan8983"
+         x="419.24911"
+         y="35.023102">end of a3</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+       x="474.31848"
+       y="186.59866"
+       id="text8985"
+       sodipodi:linespacing="100%"><tspan
+         sodipodi:role="line"
+         id="tspan8987"
+         x="474.31848"
+         y="186.59866">wasGeneratedBy</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+       x="231.86945"
+       y="448.44363"
+       id="text8989"
+       sodipodi:linespacing="100%"><tspan
+         sodipodi:role="line"
+         id="tspan8991"
+         x="231.86945"
+         y="448.44363">wasGeneratedBy</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+       x="523.68994"
+       y="308.26401"
+       id="text8993"
+       sodipodi:linespacing="100%"><tspan
+         sodipodi:role="line"
+         id="tspan8995"
+         x="523.68994"
+         y="308.26401">used</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+       x="357.94296"
+       y="572.75391"
+       id="text8997"
+       sodipodi:linespacing="100%"><tspan
+         sodipodi:role="line"
+         id="tspan8999"
+         x="357.94296"
+         y="572.75391">used</tspan></text>
+  </g>
+</svg>
Binary file model/images/informedByNonTransitive.png has changed
--- a/model/images/informedByNonTransitive.svg	Fri Jul 20 08:20:12 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,471 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<!-- Created with Inkscape (http://www.inkscape.org/) -->
-
-<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"
-   width="744.09448819"
-   height="1052.3622047"
-   id="svg6710"
-   version="1.1"
-   inkscape:version="0.47 r22583"
-   sodipodi:docname="informedByNonTransitive.svg"
-   inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/informedByNonTransitive.png"
-   inkscape:export-xdpi="53.787918"
-   inkscape:export-ydpi="53.787918">
-  <defs
-     id="defs6712">
-    <marker
-       inkscape:stockid="Arrow1Lend"
-       orient="auto"
-       refY="0.0"
-       refX="0.0"
-       id="Arrow1Lend"
-       style="overflow:visible;">
-      <path
-         id="path4091"
-         d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
-         style="fill-rule:evenodd;stroke:#000000;stroke-width:1.0pt;marker-start:none;"
-         transform="scale(0.8) rotate(180) translate(12.5,0)" />
-    </marker>
-    <inkscape:perspective
-       sodipodi:type="inkscape:persp3d"
-       inkscape:vp_x="0 : 526.18109 : 1"
-       inkscape:vp_y="0 : 1000 : 0"
-       inkscape:vp_z="744.09448 : 526.18109 : 1"
-       inkscape:persp3d-origin="372.04724 : 350.78739 : 1"
-       id="perspective6718" />
-    <inkscape:perspective
-       id="perspective6728"
-       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
-       inkscape:vp_z="1 : 0.5 : 1"
-       inkscape:vp_y="0 : 1000 : 0"
-       inkscape:vp_x="0 : 0.5 : 1"
-       sodipodi:type="inkscape:persp3d" />
-    <inkscape:perspective
-       id="perspective6728-3"
-       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
-       inkscape:vp_z="1 : 0.5 : 1"
-       inkscape:vp_y="0 : 1000 : 0"
-       inkscape:vp_x="0 : 0.5 : 1"
-       sodipodi:type="inkscape:persp3d" />
-    <inkscape:perspective
-       id="perspective6794"
-       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
-       inkscape:vp_z="1 : 0.5 : 1"
-       inkscape:vp_y="0 : 1000 : 0"
-       inkscape:vp_x="0 : 0.5 : 1"
-       sodipodi:type="inkscape:persp3d" />
-    <inkscape:perspective
-       id="perspective6840"
-       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
-       inkscape:vp_z="1 : 0.5 : 1"
-       inkscape:vp_y="0 : 1000 : 0"
-       inkscape:vp_x="0 : 0.5 : 1"
-       sodipodi:type="inkscape:persp3d" />
-    <inkscape:perspective
-       id="perspective6877"
-       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
-       inkscape:vp_z="1 : 0.5 : 1"
-       inkscape:vp_y="0 : 1000 : 0"
-       inkscape:vp_x="0 : 0.5 : 1"
-       sodipodi:type="inkscape:persp3d" />
-    <inkscape:perspective
-       id="perspective6959"
-       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
-       inkscape:vp_z="1 : 0.5 : 1"
-       inkscape:vp_y="0 : 1000 : 0"
-       inkscape:vp_x="0 : 0.5 : 1"
-       sodipodi:type="inkscape:persp3d" />
-    <inkscape:perspective
-       id="perspective8909"
-       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
-       inkscape:vp_z="1 : 0.5 : 1"
-       inkscape:vp_y="0 : 1000 : 0"
-       inkscape:vp_x="0 : 0.5 : 1"
-       sodipodi:type="inkscape:persp3d" />
-    <marker
-       inkscape:stockid="Arrow1Lend"
-       orient="auto"
-       refY="0"
-       refX="0"
-       id="Arrow1Lend-2"
-       style="overflow:visible">
-      <path
-         id="path4091-9"
-         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
-         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
-         transform="matrix(-0.8,0,0,-0.8,-10,0)" />
-    </marker>
-    <inkscape:perspective
-       id="perspective8937"
-       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
-       inkscape:vp_z="1 : 0.5 : 1"
-       inkscape:vp_y="0 : 1000 : 0"
-       inkscape:vp_x="0 : 0.5 : 1"
-       sodipodi:type="inkscape:persp3d" />
-    <marker
-       inkscape:stockid="Arrow1Lend"
-       orient="auto"
-       refY="0"
-       refX="0"
-       id="Arrow1Lend-4"
-       style="overflow:visible">
-      <path
-         id="path4091-0"
-         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
-         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
-         transform="matrix(-0.8,0,0,-0.8,-10,0)" />
-    </marker>
-    <marker
-       inkscape:stockid="Arrow1Lend"
-       orient="auto"
-       refY="0"
-       refX="0"
-       id="marker8943"
-       style="overflow:visible">
-      <path
-         id="path8945"
-         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
-         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
-         transform="matrix(-0.8,0,0,-0.8,-10,0)" />
-    </marker>
-  </defs>
-  <sodipodi:namedview
-     id="base"
-     pagecolor="#ffffff"
-     bordercolor="#666666"
-     borderopacity="1.0"
-     inkscape:pageopacity="0.0"
-     inkscape:pageshadow="2"
-     inkscape:zoom="1.1342589"
-     inkscape:cx="248.29943"
-     inkscape:cy="729.86237"
-     inkscape:document-units="px"
-     inkscape:current-layer="layer1"
-     showgrid="false"
-     inkscape:window-width="1280"
-     inkscape:window-height="1001"
-     inkscape:window-x="1280"
-     inkscape:window-y="0"
-     inkscape:window-maximized="1"
-     showguides="true"
-     inkscape:guide-bbox="true" />
-  <metadata
-     id="metadata6715">
-    <rdf:RDF>
-      <cc:Work
-         rdf:about="">
-        <dc:format>image/svg+xml</dc:format>
-        <dc:type
-           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
-        <dc:title></dc:title>
-      </cc:Work>
-    </rdf:RDF>
-  </metadata>
-  <g
-     inkscape:label="Layer 1"
-     inkscape:groupmode="layer"
-     id="layer1">
-    <path
-       style="fill:none;stroke:#000000;stroke-width:0.99999988px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
-       d="M 478.34645,220.03937 457.3123,145.66376"
-       id="path8713"
-       inkscape:connector-type="polyline" />
-    <path
-       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
-       d="M 531.29022,338.50418 506.33353,275.13667"
-       id="path8713-9"
-       inkscape:connector-type="polyline" />
-    <path
-       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
-       d="M 405.10178,599.76389 380.14509,536.39638"
-       id="path8713-9-6"
-       inkscape:connector-type="polyline" />
-    <path
-       style="fill:none;stroke:#000000;stroke-width:0.99999994px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend);display:inline"
-       d="M 352.15801,481.29908 330.24462,403.39694"
-       id="path8713-8"
-       inkscape:connector-type="polyline" />
-    <path
-       id="path6949"
-       d="m 449.54554,37.98786 c 0,660.1348 0,658.70594 0,658.70594"
-       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stroke-miterlimit:4;stroke-dasharray:2,2;stroke-dashoffset:0" />
-    <path
-       id="path6949-9"
-       d="m 420.58154,37.98786 c 0,660.1348 0,658.70594 0,658.70594"
-       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stroke-miterlimit:4;stroke-dasharray:2,2;stroke-dashoffset:0" />
-    <g
-       id="g5243"
-       transform="translate(379.25147,-35.000779)">
-      <path
-         sodipodi:type="arc"
-         style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:1.89999998;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-         id="path2816"
-         sodipodi:cx="93.832016"
-         sodipodi:cy="294.48819"
-         sodipodi:rx="31.75853"
-         sodipodi:ry="31.75853"
-         d="m 125.59055,294.48819 c 0,17.53975 -14.21878,31.75853 -31.758534,31.75853 -17.539752,0 -31.75853,-14.21878 -31.75853,-31.75853 0,-17.53975 14.218778,-31.75853 31.75853,-31.75853 17.539754,0 31.758534,14.21878 31.758534,31.75853 z"
-         transform="translate(15.48794,-9.9823697)" />
-      <g
-         transform="translate(4.885823,3.9831957)"
-         id="g2845">
-        <text
-           xml:space="preserve"
-           style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-           x="91.530045"
-           y="289.34262"
-           id="text2835"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             id="tspan2837"
-             x="91.530045"
-             y="289.34262">e<tspan
-   style="font-size:20px"
-   id="tspan2839" /></tspan></text>
-        <text
-           xml:space="preserve"
-           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-           x="107.70822"
-           y="289.77463"
-           id="text2841"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             id="tspan2843"
-             x="107.70822"
-             y="289.77463"
-             style="font-size:18px">1</tspan></text>
-      </g>
-    </g>
-    <g
-       id="g5243-3"
-       transform="translate(263.59906,218.54252)">
-      <path
-         sodipodi:type="arc"
-         style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:1.89999998;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-         id="path2816-5"
-         sodipodi:cx="93.832016"
-         sodipodi:cy="294.48819"
-         sodipodi:rx="31.75853"
-         sodipodi:ry="31.75853"
-         d="m 125.59055,294.48819 c 0,17.53975 -14.21878,31.75853 -31.758534,31.75853 -17.539752,0 -31.75853,-14.21878 -31.75853,-31.75853 0,-17.53975 14.218778,-31.75853 31.75853,-31.75853 17.539754,0 31.758534,14.21878 31.758534,31.75853 z"
-         transform="translate(15.48794,-9.9823697)" />
-      <g
-         transform="translate(4.885823,3.9831957)"
-         id="g2845-6">
-        <text
-           xml:space="preserve"
-           style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-           x="91.530045"
-           y="289.34262"
-           id="text2835-6"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             id="tspan2837-3"
-             x="91.530045"
-             y="289.34262">e<tspan
-   style="font-size:20px"
-   id="tspan2839-3" /></tspan></text>
-        <text
-           xml:space="preserve"
-           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-           x="107.70822"
-           y="289.77463"
-           id="text2841-1"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             id="tspan2843-2"
-             x="107.70822"
-             y="289.77463"
-             style="font-size:18px">2</tspan></text>
-      </g>
-    </g>
-    <rect
-       style="fill:#afc6e9;fill-opacity:1;stroke:#001ff4;stroke-width:1.89999998;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-       id="rect2923"
-       width="216.55867"
-       height="62.447308"
-       x="448.95068"
-       y="81.138527" />
-    <g
-       id="g2917"
-       transform="translate(140.51483,-182.12599)">
-      <text
-         sodipodi:linespacing="100%"
-         id="text2835-5"
-         y="303.30817"
-         x="391.29538"
-         style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-         xml:space="preserve"><tspan
-           id="tspan2915"
-           sodipodi:role="line"
-           x="391.29538"
-           y="303.30817">a</tspan></text>
-      <text
-         sodipodi:linespacing="100%"
-         id="text2841-4"
-         y="303.74017"
-         x="409.47354"
-         style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-         xml:space="preserve"><tspan
-           style="font-size:18px"
-           y="303.74017"
-           x="409.47354"
-           id="tspan2843-8"
-           sodipodi:role="line">1</tspan></text>
-    </g>
-    <rect
-       style="fill:#afc6e9;fill-opacity:1;stroke:#001ff4;stroke-width:1.89999998;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-       id="rect2923-0"
-       width="239.59016"
-       height="62.447308"
-       x="311.63348"
-       y="341.13852" />
-    <g
-       id="g2917-7"
-       transform="translate(26.229131,77.874009)">
-      <text
-         sodipodi:linespacing="100%"
-         id="text2835-5-3"
-         y="303.30817"
-         x="391.29538"
-         style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-         xml:space="preserve"><tspan
-           id="tspan2915-5"
-           sodipodi:role="line"
-           x="391.29538"
-           y="303.30817">a</tspan></text>
-      <text
-         sodipodi:linespacing="100%"
-         id="text2841-4-4"
-         y="303.74017"
-         x="409.47354"
-         style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-         xml:space="preserve"><tspan
-           style="font-size:18px"
-           y="303.74017"
-           x="409.47354"
-           id="tspan2843-8-7"
-           sodipodi:role="line">2</tspan></text>
-    </g>
-    <rect
-       style="fill:#afc6e9;fill-opacity:1;stroke:#001ff4;stroke-width:1.89999986;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-       id="rect2923-0-9"
-       width="198.84213"
-       height="62.447308"
-       x="222.06657"
-       y="600.64917" />
-    <text
-       xml:space="preserve"
-       style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-       x="306.0903"
-       y="639.66785"
-       id="text2835-5-3-1"
-       sodipodi:linespacing="100%"><tspan
-         y="639.66785"
-         x="306.0903"
-         sodipodi:role="line"
-         id="tspan2915-5-8">a</tspan></text>
-    <text
-       xml:space="preserve"
-       style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-       x="324.26846"
-       y="640.09985"
-       id="text2841-4-4-5"
-       sodipodi:linespacing="100%"><tspan
-         sodipodi:role="line"
-         id="tspan2843-8-7-8"
-         x="324.26846"
-         y="640.09985"
-         style="font-size:18px">3</tspan></text>
-    <path
-       id="path6941"
-       d="m 108.07086,47.834639 c 579.3307,0 580.21233,0.0084 580.21233,0.0084"
-       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943)"
-       sodipodi:nodetypes="cc" />
-    <text
-       sodipodi:linespacing="100%"
-       id="text6943"
-       y="42.452583"
-       x="102.79784"
-       style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-       xml:space="preserve"><tspan
-         y="42.452583"
-         x="102.79784"
-         id="tspan6945"
-         sodipodi:role="line"
-         style="font-size:16">Time</tspan></text>
-    <text
-       xml:space="preserve"
-       style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-       x="454.51443"
-       y="35.023102"
-       id="text8977"
-       sodipodi:linespacing="100%"><tspan
-         sodipodi:role="line"
-         id="tspan8979"
-         x="454.51443"
-         y="35.023102">start of a1</tspan></text>
-    <text
-       xml:space="preserve"
-       style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:end;line-height:100%;writing-mode:lr-tb;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-       x="419.24911"
-       y="35.023102"
-       id="text8981"
-       sodipodi:linespacing="100%"><tspan
-         sodipodi:role="line"
-         id="tspan8983"
-         x="419.24911"
-         y="35.023102">end of a3</tspan></text>
-    <text
-       xml:space="preserve"
-       style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-       x="474.31848"
-       y="186.59866"
-       id="text8985"
-       sodipodi:linespacing="100%"><tspan
-         sodipodi:role="line"
-         id="tspan8987"
-         x="474.31848"
-         y="186.59866">wasGeneratedBy</tspan></text>
-    <text
-       xml:space="preserve"
-       style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-       x="231.86945"
-       y="448.44363"
-       id="text8989"
-       sodipodi:linespacing="100%"><tspan
-         sodipodi:role="line"
-         id="tspan8991"
-         x="231.86945"
-         y="448.44363">wasGeneratedBy</tspan></text>
-    <text
-       xml:space="preserve"
-       style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-       x="523.68994"
-       y="308.26401"
-       id="text8993"
-       sodipodi:linespacing="100%"><tspan
-         sodipodi:role="line"
-         id="tspan8995"
-         x="523.68994"
-         y="308.26401">used</tspan></text>
-    <text
-       xml:space="preserve"
-       style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
-       x="357.94296"
-       y="572.75391"
-       id="text8997"
-       sodipodi:linespacing="100%"><tspan
-         sodipodi:role="line"
-         id="tspan8999"
-         x="357.94296"
-         y="572.75391">used</tspan></text>
-  </g>
-</svg>
--- a/model/prov-constraints.html	Fri Jul 20 08:20:12 2012 +0100
+++ b/model/prov-constraints.html	Fri Jul 20 08:21:25 2012 +0100
@@ -1129,7 +1129,7 @@
 
 <div style="text-align: center;">
 <figure>
-<img src="images/informedByNonTransitive.png" alt="non transitivity of wasInformedBy" />
+<img src="images/constraints/informedByNonTransitive.png" alt="non transitivity of wasInformedBy" />
 <figcaption id="counterexample-wasInformedBy"><b>Figure 1:</b> Counter-example for transitivity of wasInformedBy</figcaption>
 </figure>
 </div>
@@ -2247,7 +2247,7 @@
   <div style="text-align: center;">
 
 <figure id="ordering-activity">
-<img src="images/ordering-activity.png" alt="constraints between events" />
+<img src="images/constraints/ordering-activity.png" alt="constraints between events" />
 <figcaption id="ordering-activity-fig"><b>Figure 2:</b> Summary of <a title="instantaneous event">instantaneous event</a> ordering constraints for activities</figcaption>
 </figure>
 </div>
@@ -2418,7 +2418,7 @@
   
 <div style="text-align: center;">
 <figure id="ordering-entity">
-<img src="images/ordering-entity.png" alt="ordering constraints for entities" />
+<img src="images/constraints/ordering-entity.png" alt="ordering constraints for entities" />
 <figcaption id="ordering-entity-fig"><b>Figure 3:</b> Summary of <a title="instantaneous event">instantaneous event</a> ordering constraints for entities</figcaption></figure>
 </div>
 
@@ -2607,7 +2607,7 @@
 
 <div style="text-align: center;">
 <figure id="#ordering-entity-trigger">
-<img src="images/ordering-entity-trigger.png" alt="ordering constraints for trigger entities" />
+<img src="images/constraints/ordering-entity-trigger.png" alt="ordering constraints for trigger entities" />
 <figcaption id="ordering-entity-trigger-fig"><b>Figure 4:</b> Summary of <a title="instantaneous event">instantaneous event</a> ordering constraints for trigger entities</figcaption>
 </figure>
 </div>
@@ -2657,7 +2657,7 @@
 
 <div style="text-align: center;">
 <figure id="ordering-agents">
-<img src="images/ordering-agents.png" alt="ordering constraints for agents" />
+<img src="images/constraints/ordering-agents.png" alt="ordering constraints for agents" />
 <figcaption><b>Figure 5:</b> Summary of <a
   title="instantaneous event">instantaneous event</a> ordering
   constraints for agents</figcaption>