explained non transitivity of wasInformedBy
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 08 Dec 2011 15:27:17 +0000
changeset 1205 30f5ce6376c4
parent 1196 c4ad51336ca4
child 1206 8eaf99f64b34
explained non transitivity of wasInformedBy
model/ProvenanceModel.html
model/informedByNonTransitive.png
model/informedByNonTransitive.svg
--- a/model/ProvenanceModel.html	Thu Dec 08 11:59:46 2011 +0000
+++ b/model/ProvenanceModel.html	Thu Dec 08 15:27:17 2011 +0000
@@ -2822,22 +2822,19 @@
 </div>
 
 
-<p>The relationship <span class="name">wasInformedBy</span> is not transitive. Indeed, consider the records <span class="name">wasInformedBy(a2,a1)</span> and <span class="name">wasInformedBy(a3,a2)</span>, the record
-<span class="name">wasInformedBy(a3,a1)</span>, may not necessarily hold, as illustrated by the following event line. 
-<pre>
-            ------  a1
-             |
-             e1         
-             |
-       -------  a2
-        |
-        e2        
-        |
-     -----  a3
+<p>The relationship <span class="name">wasInformedBy</span> is not transitive. Indeed, consider the following records.</p>
+<pre class="codeexample">
+wasInformedBy(a2,a1)
+wasInformedBy(a3,a2)
 </pre>
-<p>The end in activity record identified by <span class="name">a3</span> <a>precedes</a> the start in activity record identified by <span class="name">a1</span>, while interval for activity record <span class="name">a2</span> overlaps with each interval for <span class="name">a1</span> and <span class="name">a3</span>, allowing information to flow (<span class="name">e1</span> and <span class="name">e2</span>, respectively).</p>
-
-
+<p> We cannot infer <span class="name">wasInformedBy(a3,a1)</span> from them. Indeed, 
+from 
+<span class="name">wasInformedBy(a2,a1)</span>, we know that there exists <span class="name">e1</span> such that <span class="name">e1</span> was generated by <span class="name">a1</span> and used by <span class="name">a2</span>. Likewise, from <span class="name">wasInformedBy(a3,a2)</span>, we know that there exists  <span class="name">e2</span> such that <span class="name">e2</span> was generated by <span class="name">a2</span> and used by <span class="name">a3</span>. The following illustration shows a case where transitivity cannot hold. The horizontal axis represents time. We see that <span class="name">e1</span> was generated after <span class="name">e2</span> was used. Furthermore, the illustration also shows that <span class="name">a3</span> completes before <span class="name">a1</span>.  So it is impossible for <span class="name">a3</span> to have used an entity generated by <span class="name">a1</span>.</p>
+
+
+<div align="center">
+<img src="informedByNonTransitive.png" alt="non transitivity of wasInformedBy" />
+</div>
 
 <div class="note">
 The relation wasScheduledAfter was dropped, and replaced by a simplier relation wasStartedBy(a2,a1). It is intentional that the name wasStartedBy is overloaded.
@@ -3264,6 +3261,7 @@
 <section class="appendix"> 
       <h2>Changes Since First Public Working Draft</h2> 
 <ul>
+<li>12/08/11: Explained non-transitivity of wasInformedBy.  </li>
 <li>12/05/11: Made attributes optional, and used non-terminal optional-attribute-values.  </li>
 <li>12/05/11: Changed syntax of recordContainer to be more user friendly, and removed list of account ids, since redundant.  </li>
 <li>12/05/11: Changed syntax of namespace declaration to be more user friendly.  </li>
Binary file model/informedByNonTransitive.png has changed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/informedByNonTransitive.svg	Thu Dec 08 15:27:17 2011 +0000
@@ -0,0 +1,467 @@
+<?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">
+  <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" />
+      </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>