reorganized temporal constraints (issue 210)
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 17 Jan 2012 14:36:33 +0000
changeset 1386 6f7a45516e85
parent 1382 d6bcbf91311a
child 1387 06db3f26f795
reorganized temporal constraints (issue 210)
model/ProvenanceModel.html
model/constraints.png
model/constraints.svg
--- a/model/ProvenanceModel.html	Tue Jan 17 12:59:25 2012 +0000
+++ b/model/ProvenanceModel.html	Tue Jan 17 14:36:33 2012 +0000
@@ -3448,6 +3448,12 @@
 <div class='interpretation' id='start-precedes-end'> The following ordering constraint holds for any activity record: the
 <a title="activity start event">start event</a> <a>precedes</a> the <a title="activity end event">end event</a>.</div> 
 
+<p> Assertion of a usage record and a generation record for a given entity implies ordering of <a title="event">events</a> in the world, since the <a title="entity generation event">generation event</a> had to precede the <a title="entity usage event">usage event</a>. This is
+illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (b) and  expressed by constraint <a href="#generation-precedes-usage">generation-precedes-usage</a>.</p>
+
+<div class='interpretation' id='generation-precedes-usage'>For any entity, the following ordering constraint holds: the <a title="entity generation event">generation</a> of an entity always <a>precedes</a> any of its <a title="entity usage event">usages</a>.
+</div>
+
 <p>The assertion of a usage record implies ordering of <a title="event">events</a> in the world, since the corresponding event had to occur during the associated activity. This is
 illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (c) and  expressed by constraint <a href="#usage-within-activity">usage-within-activity</a>.</p>
 
@@ -3456,8 +3462,10 @@
  the <a title="entity usage event">usage</a> of the entity represented by entity record identified by <span class="name">e</span> <a>precedes</a> the <a title="activity end event">end</a> of activity represented by record identified by <span class="name">a</span> and <a>follows</a> its <a title="activity start event">start</a>. 
 </div>
 
+
+
 <p>The assertion of a generation record implies ordering of <a title="event">events</a> in the world, since the corresponding event had to occur during the associated activity. This is
-illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (e) and  expressed by constraint <a href="#generation-within-activity">generation-within-activity</a>.</p> 
+illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (d) and  expressed by constraint <a href="#generation-within-activity">generation-within-activity</a>.</p> 
 
 <div class='interpretation' id='generation-within-activity'><span class='conditional'>If</span> an assertion <span class="name">wasGeneratedBy(x,a,attrs)</span> or <span class="name">wasGeneratedBy(x,a,attrs,t)</span> holds, <span class='conditional'>then</span> the following ordering constraint also holds: the <a title="entity generation event">generation</a> of the entity denoted by <span class="name">x</span> <a>precedes</a> the <a title="activity end event">end</a>
 of <span class="name">a</span> and <a>follows</a> the <a title="activity start event">start</a> of <span class="name">a</span>. 
@@ -3465,18 +3473,12 @@
 
 
 
-<p>Furthemore, assertion of a usage record and a generation record for a given entity implies ordering of <a title="event">events</a> in the world, since the <a title="entity generation event">generation event</a> had to precede the <a title="entity usage event">usage event</a>. This is
-illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (b) and  expressed by constraint <a href="#generation-precedes-usage">generation-precedes-usage</a>.</p>
-
-<div class='interpretation' id='generation-precedes-usage'>For any entity, the following ordering constraint holds: the <a title="entity generation event">generation</a> of an entity always <a>precedes</a> any of its <a title="entity usage event">usages</a>.
-</div>
-
 
 <p>If a derivation record holds for <span class="name">e2</span> and <span class="name">e1</span>, then 
 this means that the entity <span class="name">e1</span> had some form of influence on the entity <span class="name">e2</span>; for this to be possible, some event ordering must be satisfied.
 First, we consider one-activity derivations. In that case, the <a title="entity usage event">usage</a> of <span class="name">e1</span> has to precede the <a title="entity generation event">generation</a> of <span class="name">e2</span>.
 This is
-illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (d) and  expressed by constraint <a href="#derivation-usage-generation-ordering">derivation-usage-generation-ordering</a>.</p>
+illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (e) and  expressed by constraint <a href="#derivation-usage-generation-ordering">derivation-usage-generation-ordering</a>.</p>
 
 
 <div class='interpretation' id='derivation-usage-generation-ordering'>Given an activity record identified by <span class="name">a</span>, entity records identified by <span class="name">e1</span> and <span class="name">e2</span>, generation record identified by <span class="name">g2</span>, and usage record identified by <span class="name">u1</span>, <span class='conditional'>if</span> the record <span class="name">wasDerivedFrom(e2,e1,a,g2,u1,attrs)</span>
Binary file model/constraints.png has changed
--- a/model/constraints.svg	Tue Jan 17 12:59:25 2012 +0000
+++ b/model/constraints.svg	Tue Jan 17 14:36:33 2012 +0000
@@ -420,24 +420,6 @@
          offset="1"
          id="stop4057-3-9-2" />
     </linearGradient>
-    <linearGradient
-       inkscape:collect="always"
-       xlink:href="#linearGradient4053-6"
-       id="linearGradient5189"
-       gradientUnits="userSpaceOnUse"
-       x1="114.53841"
-       y1="108.27257"
-       x2="139.6636"
-       y2="126.8805" />
-    <linearGradient
-       inkscape:collect="always"
-       xlink:href="#linearGradient4053-6-5"
-       id="linearGradient5191"
-       gradientUnits="userSpaceOnUse"
-       x1="114.53841"
-       y1="108.27257"
-       x2="139.6636"
-       y2="126.8805" />
     <inkscape:perspective
        id="perspective5442"
        inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
@@ -570,15 +552,6 @@
          style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
          transform="matrix(-0.8,0,0,-0.8,-10,0)" />
     </marker>
-    <linearGradient
-       inkscape:collect="always"
-       xlink:href="#linearGradient4053-6-5-3-7"
-       id="linearGradient5901"
-       gradientUnits="userSpaceOnUse"
-       x1="114.53841"
-       y1="108.27257"
-       x2="139.6636"
-       y2="126.8805" />
     <inkscape:perspective
        id="perspective5927"
        inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
@@ -943,6 +916,51 @@
        inkscape:vp_y="0 : 1000 : 0"
        inkscape:vp_x="0 : 0.5 : 1"
        sodipodi:type="inkscape:persp3d" />
+    <linearGradient
+       inkscape:collect="always"
+       xlink:href="#linearGradient4053-6-5-3-7"
+       id="linearGradient3269"
+       gradientUnits="userSpaceOnUse"
+       x1="114.53841"
+       y1="108.27257"
+       x2="139.6636"
+       y2="126.8805" />
+    <linearGradient
+       inkscape:collect="always"
+       xlink:href="#linearGradient4053-6"
+       id="linearGradient3307"
+       gradientUnits="userSpaceOnUse"
+       x1="114.53841"
+       y1="108.27257"
+       x2="139.6636"
+       y2="126.8805" />
+    <linearGradient
+       inkscape:collect="always"
+       xlink:href="#linearGradient4053-6-5"
+       id="linearGradient3309"
+       gradientUnits="userSpaceOnUse"
+       x1="114.53841"
+       y1="108.27257"
+       x2="139.6636"
+       y2="126.8805" />
+    <linearGradient
+       inkscape:collect="always"
+       xlink:href="#linearGradient4053-6-9"
+       id="linearGradient3348"
+       gradientUnits="userSpaceOnUse"
+       x1="114.53841"
+       y1="108.27257"
+       x2="139.6636"
+       y2="126.8805" />
+    <linearGradient
+       inkscape:collect="always"
+       xlink:href="#linearGradient4053-6-5-8"
+       id="linearGradient3350"
+       gradientUnits="userSpaceOnUse"
+       x1="114.53841"
+       y1="108.27257"
+       x2="139.6636"
+       y2="126.8805" />
   </defs>
   <sodipodi:namedview
      id="base"
@@ -951,9 +969,9 @@
      borderopacity="1.0"
      inkscape:pageopacity="0.0"
      inkscape:pageshadow="2"
-     inkscape:zoom="0.73168726"
-     inkscape:cx="200.52587"
-     inkscape:cy="526.18109"
+     inkscape:zoom="0.91456677"
+     inkscape:cx="352.60397"
+     inkscape:cy="610.74755"
      inkscape:document-units="px"
      inkscape:current-layer="g8502"
      showgrid="false"
@@ -1100,395 +1118,6 @@
            sodipodi:nodetypes="cc" />
       </g>
       <g
-         transform="translate(0,166.1721)"
-         id="g5005"
-         inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-         inkscape:export-xdpi="79.550438"
-         inkscape:export-ydpi="79.550438">
-        <path
-           style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline"
-           d="M 178.66438,327.24598 116.84854,302.129"
-           id="path4716"
-           inkscape:connector-type="polyline"
-           inkscape:connection-start="#g4705" />
-        <path
-           id="path6949-5"
-           d="m 205.48904,234.75007 c 0,164.59929 0,164.24301 0,164.24301"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2, 2;stroke-dashoffset:0" />
-        <path
-           id="path6949-9-7"
-           d="m 94.931401,234.75007 c 0,164.59929 0,164.24301 0,164.24301"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2, 2;stroke-dashoffset:0" />
-        <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-2"
-           width="109.65764"
-           height="37.468384"
-           x="95.381401"
-           y="265.5874" />
-        <g
-           id="g2917-0"
-           transform="matrix(0.6,0,0,0.6,-101.83402,105.98411)">
-          <text
-             sodipodi:linespacing="100%"
-             id="text2835-5-7"
-             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-3"
-               sodipodi:role="line"
-               x="391.29538"
-               y="303.30817">a</tspan></text>
-          <text
-             sodipodi:linespacing="100%"
-             id="text2841-4-8"
-             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-72"
-               sodipodi:role="line" /></text>
-        </g>
-        <path
-           id="path6941-1"
-           d="m 39.624089,252.65814 c 220.836191,0 221.172261,0.005 221.172261,0.005"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:4, 2;stroke-dashoffset:0;marker-end:url(#marker8943)"
-           sodipodi:nodetypes="cc" />
-        <text
-           sodipodi:linespacing="100%"
-           id="text6943-33"
-           y="249.42891"
-           x="31.395864"
-           style="font-size:8.39999962px;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="249.42891"
-             x="31.395864"
-             id="tspan6945-9"
-             sodipodi:role="line"
-             style="font-size:9.60000038px">Event line</tspan></text>
-        <path
-           sodipodi:type="star"
-           style="fill:url(#linearGradient5189);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-           id="path3209-5"
-           sodipodi:sides="3"
-           sodipodi:cx="120.80072"
-           sodipodi:cy="116.88141"
-           sodipodi:r1="23.193739"
-           sodipodi:r2="11.596869"
-           sodipodi:arg1="0"
-           sodipodi:arg2="1.0471976"
-           inkscape:flatsided="true"
-           inkscape:rounded="0"
-           inkscape:randomized="0"
-           d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
-           transform="matrix(1,0,0,0.68177752,-4.388935,290.79407)" />
-        <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="37.824203"
-           y="327.58197"
-           id="text3211-3"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             id="tspan3213-2"
-             x="37.824203"
-             y="327.58197">start of a</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="207.77724"
-           y="327.58197"
-           id="text3215-4"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             id="tspan3217-8"
-             x="207.77724"
-             y="327.58197">end of a</tspan></text>
-        <path
-           id="path6941-7-3"
-           d="m 39.624091,370.47869 c 220.836189,0 221.172259,0.005 221.172259,0.005"
-           style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1, 3;stroke-dashoffset:0;marker-end:none"
-           sodipodi:nodetypes="cc" />
-        <g
-           id="g4705"
-           transform="matrix(0.85747563,0,0,0.85747563,-210.50872,92.524119)">
-          <path
-             sodipodi:type="arc"
-             style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:4.89559841;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-             id="path2816-5-4"
-             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="matrix(0.45261198,0,0,0.45261198,411.38959,140.44702)" />
-          <g
-             transform="matrix(0.45261198,0,0,0.45261198,408.11357,146.768)"
-             id="g2845-6-0">
-            <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-4"
-               sodipodi:linespacing="100%"><tspan
-                 sodipodi:role="line"
-                 id="tspan2837-3-0"
-                 x="91.530045"
-                 y="289.34262">e<tspan
-   style="font-size:20px"
-   id="tspan2839-3-5" /></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-3"
-               sodipodi:linespacing="100%"><tspan
-                 sodipodi:role="line"
-                 id="tspan2843-2-5"
-                 x="107.70822"
-                 y="289.77463"
-                 style="font-size:18px" /></text>
-          </g>
-        </g>
-        <path
-           id="path6949-5-0"
-           d="m 148.26181,234.75007 c 0,164.59929 0,164.24301 0,164.24301"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2, 2;stroke-dashoffset:0" />
-        <path
-           sodipodi:type="star"
-           style="fill:url(#linearGradient5191);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-           id="path3209-5-8"
-           sodipodi:sides="3"
-           sodipodi:cx="120.80072"
-           sodipodi:cy="116.88141"
-           sodipodi:r1="23.193739"
-           sodipodi:r2="11.596869"
-           sodipodi:arg1="0"
-           sodipodi:arg2="1.0471976"
-           inkscape:flatsided="true"
-           inkscape:rounded="0"
-           inkscape:randomized="0"
-           d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
-           transform="matrix(1,0,0,0.68177752,50.814112,290.79407)" />
-        <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="122.97539"
-           y="323.93674"
-           id="text4999"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             id="tspan5001"
-             x="122.97539"
-             y="323.93674">gen.</tspan><tspan
-             sodipodi:role="line"
-             x="122.97539"
-             y="337.93674"
-             id="tspan5003">of e</tspan></text>
-      </g>
-      <g
-         id="g6677"
-         inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-         inkscape:export-xdpi="79.550438"
-         inkscape:export-ydpi="79.550438"
-         transform="translate(0,-219.07201)">
-        <path
-           id="path6949-5-1"
-           d="m 205.48904,417.35914 c 0,164.59929 0,164.24301 0,164.24301"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2, 2;stroke-dashoffset:0" />
-        <path
-           id="path6949-9-7-5"
-           d="m 94.931401,417.35914 c 0,164.59929 0,164.24301 0,164.24301"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2, 2;stroke-dashoffset:0" />
-        <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-2-5"
-           width="109.65764"
-           height="37.468384"
-           x="95.381401"
-           y="494.19647" />
-        <g
-           id="g2917-0-4"
-           transform="matrix(0.6,0,0,0.6,-101.83402,334.59318)">
-          <text
-             sodipodi:linespacing="100%"
-             id="text2835-5-7-4"
-             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-3-5"
-               sodipodi:role="line"
-               x="391.29538"
-               y="303.30817">a</tspan></text>
-          <text
-             sodipodi:linespacing="100%"
-             id="text2841-4-8-9"
-             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-72-0"
-               sodipodi:role="line" /></text>
-        </g>
-        <path
-           id="path6941-1-8"
-           d="m 39.624089,435.26721 c 220.836191,0 221.172261,0.005 221.172261,0.005"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:4, 2;stroke-dashoffset:0;marker-end:url(#marker8943)"
-           sodipodi:nodetypes="cc" />
-        <text
-           sodipodi:linespacing="100%"
-           id="text6943-33-9"
-           y="432.03799"
-           x="31.395864"
-           style="font-size:8.39999962px;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="432.03799"
-             x="31.395864"
-             id="tspan6945-9-8"
-             sodipodi:role="line"
-             style="font-size:9.60000038px">Event line</tspan></text>
-        <path
-           sodipodi:type="star"
-           style="fill:url(#linearGradient4714-4);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-           id="path3209-5-81"
-           sodipodi:sides="3"
-           sodipodi:cx="120.80072"
-           sodipodi:cy="116.88141"
-           sodipodi:r1="23.193739"
-           sodipodi:r2="11.596869"
-           sodipodi:arg1="0"
-           sodipodi:arg2="1.0471976"
-           inkscape:flatsided="true"
-           inkscape:rounded="0"
-           inkscape:randomized="0"
-           d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
-           transform="matrix(1,0,0,0.68177752,-4.388935,473.40314)" />
-        <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="37.824203"
-           y="516.19104"
-           id="text3211-3-0"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             id="tspan3213-2-4"
-             x="37.824203"
-             y="516.19104">start of a</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="207.77724"
-           y="516.19104"
-           id="text3215-4-8"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             id="tspan3217-8-7"
-             x="207.77724"
-             y="516.19104">end of a</tspan></text>
-        <path
-           id="path6941-7-3-5"
-           d="m 39.624091,553.08776 c 220.836189,0 221.172259,0.005 221.172259,0.005"
-           style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1, 3;stroke-dashoffset:0;marker-end:none"
-           sodipodi:nodetypes="cc" />
-        <g
-           id="g4705-1"
-           transform="matrix(0.85747563,0,0,0.85747563,-268.50872,231.13319)">
-          <path
-             sodipodi:type="arc"
-             style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:4.89559841;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-             id="path2816-5-4-9"
-             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="matrix(0.45261198,0,0,0.45261198,411.38959,140.44702)" />
-          <g
-             transform="matrix(0.45261198,0,0,0.45261198,408.11357,146.768)"
-             id="g2845-6-0-9">
-            <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-4-2"
-               sodipodi:linespacing="100%"><tspan
-                 sodipodi:role="line"
-                 id="tspan2837-3-0-7"
-                 x="91.530045"
-                 y="289.34262">e<tspan
-   style="font-size:20px"
-   id="tspan2839-3-5-0" /></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-3-6"
-               sodipodi:linespacing="100%"><tspan
-                 sodipodi:role="line"
-                 id="tspan2843-2-5-1"
-                 x="107.70822"
-                 y="289.77463"
-                 style="font-size:18px" /></text>
-          </g>
-        </g>
-        <path
-           id="path6949-5-0-8"
-           d="m 148.26181,417.35914 c 0,164.59929 0,164.24301 0,164.24301"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2, 2;stroke-dashoffset:0" />
-        <path
-           sodipodi:type="star"
-           style="fill:url(#linearGradient4961-4);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-           id="path3209-5-8-3"
-           sodipodi:sides="3"
-           sodipodi:cx="120.80072"
-           sodipodi:cy="116.88141"
-           sodipodi:r1="23.193739"
-           sodipodi:r2="11.596869"
-           sodipodi:arg1="0"
-           sodipodi:arg2="1.0471976"
-           inkscape:flatsided="true"
-           inkscape:rounded="0"
-           inkscape:randomized="0"
-           d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
-           transform="matrix(1,0,0,0.68177752,50.814112,473.40314)" />
-        <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="149.95467"
-           y="452.95712"
-           id="text4999-5"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             id="tspan5001-9"
-             x="149.95467"
-             y="452.95712">initiated</tspan><tspan
-             sodipodi:role="line"
-             x="149.95467"
-             y="466.95712"
-             id="tspan3228">usage</tspan><tspan
-             sodipodi:role="line"
-             x="149.95467"
-             y="480.95712"
-             id="tspan5003-8">of e</tspan></text>
-        <path
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#marker8943-92)"
-           d="M 178.46189,494.64502 133.97882,469.49088"
-           id="path5224"
-           inkscape:connector-type="polyline" />
-      </g>
-      <g
          id="g5713"
          inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
          inkscape:export-xdpi="79.550438"
@@ -1627,220 +1256,6 @@
            id="path4716-3-7"
            inkscape:connector-type="polyline" />
       </g>
-      <g
-         id="g6539"
-         inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-         inkscape:export-xdpi="79.550438"
-         inkscape:export-ydpi="79.550438">
-        <path
-           style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline"
-           d="M 541.0127,278.84908 493.75431,251.9124"
-           id="path4716-3-9"
-           inkscape:connector-type="polyline" />
-        <path
-           id="path6949-5-9-1"
-           d="m 578.408,202.75006 c 0,155.65407 0,155.31715 0,155.31715"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.99999997, 1.99999997;stroke-dashoffset:0" />
-        <path
-           id="path6949-9-7-2-8"
-           d="m 515.85036,202.75006 c 0,155.65407 0,155.31715 0,155.31715"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.99999997, 1.99999997;stroke-dashoffset:0" />
-        <path
-           id="path6941-1-1-2"
-           d="m 432.54305,220.65814 c 220.83619,0 221.17226,0.005 221.17226,0.005"
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:4, 2;stroke-dashoffset:0;marker-end:url(#marker8943)"
-           sodipodi:nodetypes="cc" />
-        <text
-           sodipodi:linespacing="100%"
-           id="text6943-33-6-8"
-           y="217.42891"
-           x="424.31482"
-           style="font-size:8.39999962px;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="217.42891"
-             x="424.31482"
-             id="tspan6945-9-6-5"
-             sodipodi:role="line"
-             style="font-size:9.60000038px">Event line</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="579.40753"
-           y="282.13611"
-           id="text3215-4-3-9"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             id="tspan3217-8-3-6"
-             x="579.40753"
-             y="282.13611">completed</tspan><tspan
-             sodipodi:role="line"
-             x="579.40753"
-             y="296.13611"
-             id="tspan3226">generation of e2</tspan></text>
-        <path
-           id="path6941-7-3-0-9"
-           d="m 432.54305,336.47869 c 220.83619,0 221.17226,0.005 221.17226,0.005"
-           style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1, 3;stroke-dashoffset:0;marker-end:none"
-           sodipodi:nodetypes="cc" />
-        <g
-           id="g5910">
-          <path
-             sodipodi:type="arc"
-             style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:4.89559841;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-             id="path2816-5-4-1-8"
-             sodipodi:cx="93.832016"
-             sodipodi:cy="294.48819"
-             sodipodi:rx="31.75853"
-             sodipodi:ry="31.75853"
-             d="m 125.59055,294.48819 a 31.75853,31.75853 0 1 1 -63.517064,0 31.75853,31.75853 0 1 1 63.517064,0 z"
-             transform="matrix(0.38810374,0,0,0.38810374,444.7126,130.55711)" />
-          <g
-             transform="matrix(0.38810374,0,0,0.38810374,438.62243,135.97719)"
-             id="g2845-6-0-6-8">
-            <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-4-3-2"
-               sodipodi:linespacing="100%"><tspan
-                 sodipodi:role="line"
-                 id="tspan2837-3-0-4-5"
-                 x="91.530045"
-                 y="289.34262">e1<tspan
-   style="font-size:20px"
-   id="tspan2839-3-5-00-0" /></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-3-0-7"
-               sodipodi:linespacing="100%"><tspan
-                 sodipodi:role="line"
-                 id="tspan2843-2-5-4-2"
-                 x="107.70822"
-                 y="289.77463"
-                 style="font-size:18px" /></text>
-          </g>
-        </g>
-        <path
-           sodipodi:type="star"
-           style="fill:url(#linearGradient5901);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-           id="path3209-5-8-0-1"
-           sodipodi:sides="3"
-           sodipodi:cx="120.80072"
-           sodipodi:cy="116.88141"
-           sodipodi:r1="23.193739"
-           sodipodi:r2="11.596869"
-           sodipodi:arg1="0"
-           sodipodi:arg2="1.0471976"
-           inkscape:flatsided="true"
-           inkscape:rounded="0"
-           inkscape:randomized="0"
-           d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
-           transform="matrix(1,0,0,0.68177752,420.53,256.79407)" />
-        <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="445.69424"
-           y="283.54642"
-           id="text4999-4-1"
-           sodipodi:linespacing="100%"><tspan
-             sodipodi:role="line"
-             x="445.69424"
-             y="283.54642"
-             id="tspan5700-0">initiated</tspan><tspan
-             sodipodi:role="line"
-             x="445.69424"
-             y="297.54642"
-             id="tspan3224">usage of e1</tspan></text>
-        <path
-           style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline"
-           d="M 598.64832,310.27491 561.40859,291.138"
-           id="path4716-3-7-4"
-           inkscape:connector-type="polyline" />
-        <g
-           transform="translate(129.45902,71.445153)"
-           id="g5910-9">
-          <path
-             sodipodi:type="arc"
-             style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:4.89559841;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-             id="path2816-5-4-1-8-0"
-             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="matrix(0.38810374,0,0,0.38810374,444.7126,130.55711)" />
-          <g
-             transform="matrix(0.38810374,0,0,0.38810374,438.62243,135.97719)"
-             id="g2845-6-0-6-8-7">
-            <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-4-3-2-3"
-               sodipodi:linespacing="100%"><tspan
-                 sodipodi:role="line"
-                 id="tspan2837-3-0-4-5-6"
-                 x="91.530045"
-                 y="289.34262">e2</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-3-0-7-6"
-               sodipodi:linespacing="100%"><tspan
-                 sodipodi:role="line"
-                 id="tspan2843-2-5-4-2-9"
-                 x="107.70822"
-                 y="289.77463"
-                 style="font-size:18px" /></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-0-2"
-           width="37.086308"
-           height="37.468384"
-           x="526.94922"
-           y="265.12067" />
-        <g
-           id="g2917-7-2"
-           transform="matrix(0.6,0,0,0.6,304.51594,107.16196)">
-          <text
-             sodipodi:linespacing="100%"
-             id="text2835-5-3-0"
-             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-80"
-               sodipodi:role="line"
-               x="391.29538"
-               y="303.30817">a</tspan></text>
-          <text
-             sodipodi:linespacing="100%"
-             id="text2841-4-4-7"
-             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-7"
-               sodipodi:role="line" /></text>
-        </g>
-        <path
-           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stroke-miterlimit:4;stroke-dasharray:none;marker-end:url(#marker5757)"
-           d="m 610.8376,301.54097 c 0,0 4.62756,-30.07913 -27.76534,-50.90314 -31.65359,-20.34872 -90.23738,-11.56889 -90.23738,-11.56889"
-           id="path6036"
-           sodipodi:nodetypes="csc" />
-      </g>
       <path
          inkscape:connector-type="polyline"
          id="path4716-3-9-0"
@@ -2518,34 +1933,431 @@
            x="80.611183"
            id="tspan7929"
            sodipodi:role="line">(a) start-precedes-end</tspan></text>
-      <text
-         sodipodi:linespacing="100%"
-         id="text7931"
-         y="376.30768"
-         x="73.654388"
-         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"
-         inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-         inkscape:export-xdpi="79.550438"
-         inkscape:export-ydpi="79.550438"><tspan
-           id="tspan7985"
-           y="376.30768"
+      <g
+         id="g3311"
+         transform="translate(0,5.0444641)">
+        <g
+           transform="translate(0,-219.07201)"
+           inkscape:export-ydpi="79.550438"
+           inkscape:export-xdpi="79.550438"
+           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+           id="g6677">
+          <path
+             style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2, 2;stroke-dashoffset:0"
+             d="m 205.48904,417.35914 c 0,164.59929 0,164.24301 0,164.24301"
+             id="path6949-5-1" />
+          <path
+             style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2, 2;stroke-dashoffset:0"
+             d="m 94.931401,417.35914 c 0,164.59929 0,164.24301 0,164.24301"
+             id="path6949-9-7-5" />
+          <rect
+             y="494.19647"
+             x="95.381401"
+             height="37.468384"
+             width="109.65764"
+             id="rect2923-2-5"
+             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" />
+          <g
+             transform="matrix(0.6,0,0,0.6,-101.83402,334.59318)"
+             id="g2917-0-4">
+            <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="391.29538"
+               y="303.30817"
+               id="text2835-5-7-4"
+               sodipodi:linespacing="100%"><tspan
+                 y="303.30817"
+                 x="391.29538"
+                 sodipodi:role="line"
+                 id="tspan2915-3-5">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="409.47354"
+               y="303.74017"
+               id="text2841-4-8-9"
+               sodipodi:linespacing="100%"><tspan
+                 sodipodi:role="line"
+                 id="tspan2843-8-72-0"
+                 x="409.47354"
+                 y="303.74017"
+                 style="font-size:18px" /></text>
+          </g>
+          <path
+             sodipodi:nodetypes="cc"
+             style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:4, 2;stroke-dashoffset:0;marker-end:url(#marker8943)"
+             d="m 39.624089,435.26721 c 220.836191,0 221.172261,0.005 221.172261,0.005"
+             id="path6941-1-8" />
+          <text
+             xml:space="preserve"
+             style="font-size:8.39999962px;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="31.395864"
+             y="432.03799"
+             id="text6943-33-9"
+             sodipodi:linespacing="100%"><tspan
+               style="font-size:9.60000038px"
+               sodipodi:role="line"
+               id="tspan6945-9-8"
+               x="31.395864"
+               y="432.03799">Event line</tspan></text>
+          <path
+             transform="matrix(1,0,0,0.68177752,-4.388935,473.40314)"
+             d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
+             inkscape:randomized="0"
+             inkscape:rounded="0"
+             inkscape:flatsided="true"
+             sodipodi:arg2="1.0471976"
+             sodipodi:arg1="0"
+             sodipodi:r2="11.596869"
+             sodipodi:r1="23.193739"
+             sodipodi:cy="116.88141"
+             sodipodi:cx="120.80072"
+             sodipodi:sides="3"
+             id="path3209-5-81"
+             style="fill:url(#linearGradient3348);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+             sodipodi:type="star" />
+          <text
+             sodipodi:linespacing="100%"
+             id="text3211-3-0"
+             y="516.19104"
+             x="37.824203"
+             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="516.19104"
+               x="37.824203"
+               id="tspan3213-2-4"
+               sodipodi:role="line">start of a</tspan></text>
+          <text
+             sodipodi:linespacing="100%"
+             id="text3215-4-8"
+             y="516.19104"
+             x="207.77724"
+             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="516.19104"
+               x="207.77724"
+               id="tspan3217-8-7"
+               sodipodi:role="line">end of a</tspan></text>
+          <path
+             sodipodi:nodetypes="cc"
+             style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1, 3;stroke-dashoffset:0;marker-end:none"
+             d="m 39.624091,553.08776 c 220.836189,0 221.172259,0.005 221.172259,0.005"
+             id="path6941-7-3-5" />
+          <g
+             transform="matrix(0.85747563,0,0,0.85747563,-268.50872,231.13319)"
+             id="g4705-1">
+            <path
+               transform="matrix(0.45261198,0,0,0.45261198,411.38959,140.44702)"
+               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"
+               sodipodi:ry="31.75853"
+               sodipodi:rx="31.75853"
+               sodipodi:cy="294.48819"
+               sodipodi:cx="93.832016"
+               id="path2816-5-4-9"
+               style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:4.89559841;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+               sodipodi:type="arc" />
+            <g
+               id="g2845-6-0-9"
+               transform="matrix(0.45261198,0,0,0.45261198,408.11357,146.768)">
+              <text
+                 sodipodi:linespacing="100%"
+                 id="text2835-6-4-2"
+                 y="289.34262"
+                 x="91.530045"
+                 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
+                   y="289.34262"
+                   x="91.530045"
+                   id="tspan2837-3-0-7"
+                   sodipodi:role="line">e<tspan
+   id="tspan2839-3-5-0"
+   style="font-size:20px" /></tspan></text>
+              <text
+                 sodipodi:linespacing="100%"
+                 id="text2841-1-3-6"
+                 y="289.77463"
+                 x="107.70822"
+                 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="289.77463"
+                   x="107.70822"
+                   id="tspan2843-2-5-1"
+                   sodipodi:role="line" /></text>
+            </g>
+          </g>
+          <path
+             style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2, 2;stroke-dashoffset:0"
+             d="m 148.26181,417.35914 c 0,164.59929 0,164.24301 0,164.24301"
+             id="path6949-5-0-8" />
+          <path
+             transform="matrix(1,0,0,0.68177752,50.814112,473.40314)"
+             d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
+             inkscape:randomized="0"
+             inkscape:rounded="0"
+             inkscape:flatsided="true"
+             sodipodi:arg2="1.0471976"
+             sodipodi:arg1="0"
+             sodipodi:r2="11.596869"
+             sodipodi:r1="23.193739"
+             sodipodi:cy="116.88141"
+             sodipodi:cx="120.80072"
+             sodipodi:sides="3"
+             id="path3209-5-8-3"
+             style="fill:url(#linearGradient3350);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+             sodipodi:type="star" />
+          <text
+             sodipodi:linespacing="100%"
+             id="text4999-5"
+             y="452.95712"
+             x="149.95467"
+             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="452.95712"
+               x="149.95467"
+               id="tspan5001-9"
+               sodipodi:role="line">initiated</tspan><tspan
+               id="tspan3228"
+               y="466.95712"
+               x="149.95467"
+               sodipodi:role="line">usage</tspan><tspan
+               id="tspan5003-8"
+               y="480.95712"
+               x="149.95467"
+               sodipodi:role="line">of e</tspan></text>
+          <path
+             inkscape:connector-type="polyline"
+             id="path5224"
+             d="M 178.46189,494.64502 133.97882,469.49088"
+             style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#marker8943-92)" />
+        </g>
+        <text
+           inkscape:export-ydpi="79.550438"
+           inkscape:export-xdpi="79.550438"
+           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+           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="73.654388"
-           sodipodi:role="line">(c) usage-within-activity</tspan></text>
-      <text
-         sodipodi:linespacing="100%"
-         id="text7931-0"
-         y="594.55798"
-         x="57.35751"
-         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"
-         inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-         inkscape:export-xdpi="79.550438"
-         inkscape:export-ydpi="79.550438"><tspan
-           y="594.55798"
-           x="57.35751"
-           id="tspan7933-2"
-           sodipodi:role="line">(e) generation-within-activity</tspan></text>
+           y="376.30768"
+           id="text7931"
+           sodipodi:linespacing="100%"><tspan
+             sodipodi:role="line"
+             x="73.654388"
+             y="376.30768"
+             id="tspan7985">(c) usage-within-activity</tspan></text>
+      </g>
+      <g
+         id="g3271"
+         transform="translate(-27.739723,0)">
+        <g
+           inkscape:export-ydpi="79.550438"
+           inkscape:export-xdpi="79.550438"
+           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+           id="g5005"
+           transform="translate(420.65868,-44.300336)">
+          <path
+             inkscape:connection-start="#g4705"
+             inkscape:connector-type="polyline"
+             id="path4716"
+             d="M 178.66438,327.24598 116.84854,302.129"
+             style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline" />
+          <path
+             style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2, 2;stroke-dashoffset:0"
+             d="m 205.48904,234.75007 c 0,164.59929 0,164.24301 0,164.24301"
+             id="path6949-5" />
+          <path
+             style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2, 2;stroke-dashoffset:0"
+             d="m 94.931401,234.75007 c 0,164.59929 0,164.24301 0,164.24301"
+             id="path6949-9-7" />
+          <rect
+             y="265.5874"
+             x="95.381401"
+             height="37.468384"
+             width="109.65764"
+             id="rect2923-2"
+             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" />
+          <g
+             transform="matrix(0.6,0,0,0.6,-101.83402,105.98411)"
+             id="g2917-0">
+            <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="391.29538"
+               y="303.30817"
+               id="text2835-5-7"
+               sodipodi:linespacing="100%"><tspan
+                 y="303.30817"
+                 x="391.29538"
+                 sodipodi:role="line"
+                 id="tspan2915-3">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="409.47354"
+               y="303.74017"
+               id="text2841-4-8"
+               sodipodi:linespacing="100%"><tspan
+                 sodipodi:role="line"
+                 id="tspan2843-8-72"
+                 x="409.47354"
+                 y="303.74017"
+                 style="font-size:18px" /></text>
+          </g>
+          <path
+             sodipodi:nodetypes="cc"
+             style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:4, 2;stroke-dashoffset:0;marker-end:url(#marker8943)"
+             d="m 39.624089,252.65814 c 220.836191,0 221.172261,0.005 221.172261,0.005"
+             id="path6941-1" />
+          <text
+             xml:space="preserve"
+             style="font-size:8.39999962px;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="31.395864"
+             y="249.42891"
+             id="text6943-33"
+             sodipodi:linespacing="100%"><tspan
+               style="font-size:9.60000038px"
+               sodipodi:role="line"
+               id="tspan6945-9"
+               x="31.395864"
+               y="249.42891">Event line</tspan></text>
+          <path
+             transform="matrix(1,0,0,0.68177752,-4.388935,290.79407)"
+             d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
+             inkscape:randomized="0"
+             inkscape:rounded="0"
+             inkscape:flatsided="true"
+             sodipodi:arg2="1.0471976"
+             sodipodi:arg1="0"
+             sodipodi:r2="11.596869"
+             sodipodi:r1="23.193739"
+             sodipodi:cy="116.88141"
+             sodipodi:cx="120.80072"
+             sodipodi:sides="3"
+             id="path3209-5"
+             style="fill:url(#linearGradient3307);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+             sodipodi:type="star" />
+          <text
+             sodipodi:linespacing="100%"
+             id="text3211-3"
+             y="327.58197"
+             x="37.824203"
+             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="327.58197"
+               x="37.824203"
+               id="tspan3213-2"
+               sodipodi:role="line">start of a</tspan></text>
+          <text
+             sodipodi:linespacing="100%"
+             id="text3215-4"
+             y="327.58197"
+             x="207.77724"
+             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="327.58197"
+               x="207.77724"
+               id="tspan3217-8"
+               sodipodi:role="line">end of a</tspan></text>
+          <path
+             sodipodi:nodetypes="cc"
+             style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1, 3;stroke-dashoffset:0;marker-end:none"
+             d="m 39.624091,370.47869 c 220.836189,0 221.172259,0.005 221.172259,0.005"
+             id="path6941-7-3" />
+          <g
+             transform="matrix(0.85747563,0,0,0.85747563,-210.50872,92.524119)"
+             id="g4705">
+            <path
+               transform="matrix(0.45261198,0,0,0.45261198,411.38959,140.44702)"
+               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"
+               sodipodi:ry="31.75853"
+               sodipodi:rx="31.75853"
+               sodipodi:cy="294.48819"
+               sodipodi:cx="93.832016"
+               id="path2816-5-4"
+               style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:4.89559841;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+               sodipodi:type="arc" />
+            <g
+               id="g2845-6-0"
+               transform="matrix(0.45261198,0,0,0.45261198,408.11357,146.768)">
+              <text
+                 sodipodi:linespacing="100%"
+                 id="text2835-6-4"
+                 y="289.34262"
+                 x="91.530045"
+                 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
+                   y="289.34262"
+                   x="91.530045"
+                   id="tspan2837-3-0"
+                   sodipodi:role="line">e<tspan
+   id="tspan2839-3-5"
+   style="font-size:20px" /></tspan></text>
+              <text
+                 sodipodi:linespacing="100%"
+                 id="text2841-1-3"
+                 y="289.77463"
+                 x="107.70822"
+                 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="289.77463"
+                   x="107.70822"
+                   id="tspan2843-2-5"
+                   sodipodi:role="line" /></text>
+            </g>
+          </g>
+          <path
+             style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2, 2;stroke-dashoffset:0"
+             d="m 148.26181,234.75007 c 0,164.59929 0,164.24301 0,164.24301"
+             id="path6949-5-0" />
+          <path
+             transform="matrix(1,0,0,0.68177752,50.814112,290.79407)"
+             d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
+             inkscape:randomized="0"
+             inkscape:rounded="0"
+             inkscape:flatsided="true"
+             sodipodi:arg2="1.0471976"
+             sodipodi:arg1="0"
+             sodipodi:r2="11.596869"
+             sodipodi:r1="23.193739"
+             sodipodi:cy="116.88141"
+             sodipodi:cx="120.80072"
+             sodipodi:sides="3"
+             id="path3209-5-8"
+             style="fill:url(#linearGradient3309);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+             sodipodi:type="star" />
+          <text
+             sodipodi:linespacing="100%"
+             id="text4999"
+             y="323.93674"
+             x="122.97539"
+             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="323.93674"
+               x="122.97539"
+               id="tspan5001"
+               sodipodi:role="line">gen.</tspan><tspan
+               id="tspan5003"
+               y="337.93674"
+               x="122.97539"
+               sodipodi:role="line">of e</tspan></text>
+        </g>
+        <text
+           inkscape:export-ydpi="79.550438"
+           inkscape:export-xdpi="79.550438"
+           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+           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="472.83554"
+           y="381.35214"
+           id="text7931-0"
+           sodipodi:linespacing="100%"><tspan
+             sodipodi:role="line"
+             id="tspan7933-2"
+             x="472.83554"
+             y="381.35214">(d) generation-within-activity</tspan></text>
+      </g>
       <text
          sodipodi:linespacing="100%"
          id="text7927-2"
@@ -2560,22 +2372,241 @@
            x="456.43887"
            id="tspan7929-4"
            sodipodi:role="line">(b) generation-precedes-usage</tspan></text>
-      <text
-         inkscape:transform-center-y="6.888"
-         inkscape:transform-center-x="27.765345"
-         sodipodi:linespacing="100%"
-         id="text7931-9"
-         y="376.30768"
-         x="420.07336"
-         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"
-         inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
-         inkscape:export-xdpi="79.550438"
-         inkscape:export-ydpi="79.550438"><tspan
-           id="tspan7985-7"
-           y="376.30768"
-           x="420.07336"
-           sodipodi:role="line">(d) derivation-usage-generation-ordering</tspan></text>
+      <g
+         id="g3227"
+         transform="translate(-11.958076,0.94433594)">
+        <g
+           transform="translate(-393.61079,217.30596)"
+           inkscape:export-ydpi="79.550438"
+           inkscape:export-xdpi="79.550438"
+           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+           id="g6539">
+          <path
+             inkscape:connector-type="polyline"
+             id="path4716-3-9"
+             d="M 541.0127,278.84908 493.75431,251.9124"
+             style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline" />
+          <path
+             style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.99999997, 1.99999997;stroke-dashoffset:0"
+             d="m 578.408,202.75006 c 0,155.65407 0,155.31715 0,155.31715"
+             id="path6949-5-9-1" />
+          <path
+             style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.99999997, 1.99999997;stroke-dashoffset:0"
+             d="m 515.85036,202.75006 c 0,155.65407 0,155.31715 0,155.31715"
+             id="path6949-9-7-2-8" />
+          <path
+             sodipodi:nodetypes="cc"
+             style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:4, 2;stroke-dashoffset:0;marker-end:url(#marker8943)"
+             d="m 432.54305,220.65814 c 220.83619,0 221.17226,0.005 221.17226,0.005"
+             id="path6941-1-1-2" />
+          <text
+             xml:space="preserve"
+             style="font-size:8.39999962px;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="424.31482"
+             y="217.42891"
+             id="text6943-33-6-8"
+             sodipodi:linespacing="100%"><tspan
+               style="font-size:9.60000038px"
+               sodipodi:role="line"
+               id="tspan6945-9-6-5"
+               x="424.31482"
+               y="217.42891">Event line</tspan></text>
+          <text
+             sodipodi:linespacing="100%"
+             id="text3215-4-3-9"
+             y="282.13611"
+             x="579.40753"
+             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="282.13611"
+               x="579.40753"
+               id="tspan3217-8-3-6"
+               sodipodi:role="line">completed</tspan><tspan
+               id="tspan3226"
+               y="296.13611"
+               x="579.40753"
+               sodipodi:role="line">generation of e2</tspan></text>
+          <path
+             sodipodi:nodetypes="cc"
+             style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1, 3;stroke-dashoffset:0;marker-end:none"
+             d="m 432.54305,336.47869 c 220.83619,0 221.17226,0.005 221.17226,0.005"
+             id="path6941-7-3-0-9" />
+          <g
+             id="g5910">
+            <path
+               transform="matrix(0.38810374,0,0,0.38810374,444.7126,130.55711)"
+               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"
+               sodipodi:ry="31.75853"
+               sodipodi:rx="31.75853"
+               sodipodi:cy="294.48819"
+               sodipodi:cx="93.832016"
+               id="path2816-5-4-1-8"
+               style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:4.89559841;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+               sodipodi:type="arc" />
+            <g
+               id="g2845-6-0-6-8"
+               transform="matrix(0.38810374,0,0,0.38810374,438.62243,135.97719)">
+              <text
+                 sodipodi:linespacing="100%"
+                 id="text2835-6-4-3-2"
+                 y="289.34262"
+                 x="91.530045"
+                 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
+                   y="289.34262"
+                   x="91.530045"
+                   id="tspan2837-3-0-4-5"
+                   sodipodi:role="line">e1<tspan
+   id="tspan2839-3-5-00-0"
+   style="font-size:20px" /></tspan></text>
+              <text
+                 sodipodi:linespacing="100%"
+                 id="text2841-1-3-0-7"
+                 y="289.77463"
+                 x="107.70822"
+                 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="289.77463"
+                   x="107.70822"
+                   id="tspan2843-2-5-4-2"
+                   sodipodi:role="line" /></text>
+            </g>
+          </g>
+          <path
+             transform="matrix(1,0,0,0.68177752,420.53,256.79407)"
+             d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
+             inkscape:randomized="0"
+             inkscape:rounded="0"
+             inkscape:flatsided="true"
+             sodipodi:arg2="1.0471976"
+             sodipodi:arg1="0"
+             sodipodi:r2="11.596869"
+             sodipodi:r1="23.193739"
+             sodipodi:cy="116.88141"
+             sodipodi:cx="120.80072"
+             sodipodi:sides="3"
+             id="path3209-5-8-0-1"
+             style="fill:url(#linearGradient3269);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+             sodipodi:type="star" />
+          <text
+             sodipodi:linespacing="100%"
+             id="text4999-4-1"
+             y="283.54642"
+             x="445.69424"
+             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
+               id="tspan5700-0"
+               y="283.54642"
+               x="445.69424"
+               sodipodi:role="line">initiated</tspan><tspan
+               id="tspan3224"
+               y="297.54642"
+               x="445.69424"
+               sodipodi:role="line">usage of e1</tspan></text>
+          <path
+             inkscape:connector-type="polyline"
+             id="path4716-3-7-4"
+             d="M 598.64832,310.27491 561.40859,291.138"
+             style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline" />
+          <g
+             id="g5910-9"
+             transform="translate(129.45902,71.445153)">
+            <path
+               transform="matrix(0.38810374,0,0,0.38810374,444.7126,130.55711)"
+               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"
+               sodipodi:ry="31.75853"
+               sodipodi:rx="31.75853"
+               sodipodi:cy="294.48819"
+               sodipodi:cx="93.832016"
+               id="path2816-5-4-1-8-0"
+               style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:4.89559841;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+               sodipodi:type="arc" />
+            <g
+               id="g2845-6-0-6-8-7"
+               transform="matrix(0.38810374,0,0,0.38810374,438.62243,135.97719)">
+              <text
+                 sodipodi:linespacing="100%"
+                 id="text2835-6-4-3-2-3"
+                 y="289.34262"
+                 x="91.530045"
+                 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
+                   y="289.34262"
+                   x="91.530045"
+                   id="tspan2837-3-0-4-5-6"
+                   sodipodi:role="line">e2</tspan></text>
+              <text
+                 sodipodi:linespacing="100%"
+                 id="text2841-1-3-0-7-6"
+                 y="289.77463"
+                 x="107.70822"
+                 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="289.77463"
+                   x="107.70822"
+                   id="tspan2843-2-5-4-2-9"
+                   sodipodi:role="line" /></text>
+            </g>
+          </g>
+          <rect
+             y="265.12067"
+             x="526.94922"
+             height="37.468384"
+             width="37.086308"
+             id="rect2923-0-2"
+             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" />
+          <g
+             transform="matrix(0.6,0,0,0.6,304.51594,107.16196)"
+             id="g2917-7-2">
+            <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="391.29538"
+               y="303.30817"
+               id="text2835-5-3-0"
+               sodipodi:linespacing="100%"><tspan
+                 y="303.30817"
+                 x="391.29538"
+                 sodipodi:role="line"
+                 id="tspan2915-5-80">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="409.47354"
+               y="303.74017"
+               id="text2841-4-4-7"
+               sodipodi:linespacing="100%"><tspan
+                 sodipodi:role="line"
+                 id="tspan2843-8-7-7"
+                 x="409.47354"
+                 y="303.74017"
+                 style="font-size:18px" /></text>
+          </g>
+          <path
+             sodipodi:nodetypes="csc"
+             id="path6036"
+             d="m 610.8376,301.54097 c 0,0 4.62756,-30.07913 -27.76534,-50.90314 -31.65359,-20.34872 -90.23738,-11.56889 -90.23738,-11.56889"
+             style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#marker5757)" />
+        </g>
+        <text
+           inkscape:export-ydpi="79.550438"
+           inkscape:export-xdpi="79.550438"
+           inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+           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="26.462574"
+           y="593.61365"
+           id="text7931-9"
+           sodipodi:linespacing="100%"
+           inkscape:transform-center-x="27.765345"
+           inkscape:transform-center-y="6.888"><tspan
+             sodipodi:role="line"
+             x="26.462574"
+             y="593.61365"
+             id="tspan7985-7">(e) derivation-usage-generation-ordering</tspan></text>
+      </g>
       <text
          sodipodi:linespacing="100%"
          id="text7931-0-6"