--- a/model/releases/ED-prov-constraints-20120723/prov-constraints.html Mon Jul 23 14:49:36 2012 +0100
+++ b/model/releases/ED-prov-constraints-20120723/prov-constraints.html Mon Jul 23 14:50:20 2012 +0100
@@ -1476,10 +1476,11 @@
<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>. This is illustrated in <a href="#counterexample-wasInformedBy">Figure 1</a>.</p>
<div style="text-align: center;">
-<figure>
+<span class="figure">
<img src="images/constraints/informedByNonTransitive.png" alt="non transitivity of wasInformedBy">
-<figcaption id="counterexample-wasInformedBy"><b>Figure 1:</b> Counter-example for transitivity of wasInformedBy</figcaption>
-</figure>
+<br>
+<span class="figcaption" data-count="1" id="counterexample-wasInformedBy">Figure 1<sup><a class="internalDFN" href="#counterexample-wasInformedBy"><span class="diamond"> ◊:</span></a></sup> Counter-example for transitivity of wasInformedBy</span>
+</span> <!-- <b>Figure 1:</b> -->
</div>
</div>
@@ -2357,10 +2358,11 @@
<div style="text-align: center;">
-<figure id="ordering-activity">
+<span class="figure" id="ordering-activity">
<img src="images/constraints/ordering-activity.png" alt="constraints between events">
-<figcaption id="ordering-activity-fig"><b>Figure 2:</b> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for activities</figcaption>
-</figure>
+<br>
+<span class="figcaption" data-count="2" id="ordering-activity-fig">Figure 2<sup><a class="internalDFN" href="#ordering-activity-fig"><span class="diamond"> ◊:</span></a></sup> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for activities</span> <!-- <b>Figure 2:</b> -->
+</span>
</div>
@@ -2526,9 +2528,10 @@
<div style="text-align: center;">
-<figure id="ordering-entity">
+<span class="figure" id="ordering-entity">
<img src="images/constraints/ordering-entity.png" alt="ordering constraints for entities">
-<figcaption id="ordering-entity-fig"><b>Figure 3:</b> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for entities</figcaption></figure>
+<br>
+<span class="figcaption" data-count="3" id="ordering-entity-fig">Figure 3<sup><a class="internalDFN" href="#ordering-entity-fig"><span class="diamond"> ◊:</span></a></sup> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for entities</span></span> <!-- <b>Figure 3:</b> -->
</div>
<p>
@@ -2712,10 +2715,11 @@
</div>
<div style="text-align: center;">
-<figure id="ordering-entity-trigger">
+<span class="figure" id="ordering-entity-trigger">
<img src="images/constraints/ordering-entity-trigger.png" alt="ordering constraints for trigger entities">
-<figcaption id="ordering-entity-trigger-fig"><b>Figure 4:</b> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for trigger entities</figcaption>
-</figure>
+<br>
+<span class="figcaption" data-count="4" id="ordering-entity-trigger-fig">Figure 4<sup><a class="internalDFN" href="#ordering-entity-trigger-fig"><span class="diamond"> ◊:</span></a></sup> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for trigger entities</span> <!-- <b>Figure 4:</b> -->
+</span>
</div>
<hr>
@@ -2758,11 +2762,12 @@
<p>Further constraints associated with agents appear in <a href="#ordering-agents">Figure 5</a> and are discussed below.</p>
<div style="text-align: center;">
-<figure id="ordering-agents">
+<span class="figure" id="ordering-agents">
<img src="images/constraints/ordering-agents.png" alt="ordering constraints for agents">
-<figcaption><b>Figure 5:</b> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering
- constraints for agents</figcaption>
-</figure>
+<br>
+<figcaption>Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering
+ constraints for agents</figcaption> <!--<b>Figure 5:</b> -->
+</span>
</div>
<hr>