--- a/model/prov-constraints.html Fri Jul 20 08:03:24 2012 +0100
+++ b/model/prov-constraints.html Fri Jul 20 08:05:08 2012 +0100
@@ -677,7 +677,7 @@
<tr class="component3-color"><td class="essential"><a>Association</a></td><td> </td></tr>
<tr class="component3-color"><td class="essential"><a>Delegation</a></td><td> </td></tr>
<tr class="component3-color"><td class="provType"><a>Plan</a></td><td> </td>
-<tr class="component3-color"><td class="provType"><a>Person</a></td><td> </td></td>
+<tr class="component3-color"><td class="provType"><a>Person</a></td><td> <td></td>
<tr class="component3-color"><td class="provType"><a>Organization</a></td><td> </td>
<tr class="component3-color"><td class="provType"><a title="software-agent">SoftwareAgent</a></td><td></td>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
@@ -729,7 +729,7 @@
<a>equivalent</a>, an application MUST determine whether their
normal forms are equal, as specified in <a href="#normalization-validity-equivalence" class="sectionRef"></a>.
</ol>
-</p>
+
<p>
All diagrams are for illustration purposes
@@ -868,7 +868,7 @@
For each <span class="name">r</span> in {<span
class="name">entity</span>, <span class="name">activity</span>,
<span class="name">agent</span>}, if <span class="name">a_n</span> is not an attribute
- list parameter then the following definitional rule holds:</p>
+ list parameter then the following definitional rule holds:
<p><span class="name">r(a<sub>1</sub>,...,a<sub>n</sub>)</span>
holds <span class="conditional">IF AND ONLY IF</span> <span
class="name">r(a<sub>1</sub>,...,a<sub>n</sub>,[])</span> holds.</li>
@@ -918,7 +918,6 @@
<li><span class="name">actedOnBehalfOf(id;a2,a1,attrs)</span> <span class="conditional">IF AND ONLY IF</span> <span class="name">actedOnBehalfOf(id;a2,a1,-,attrs)</span>.
</li>
</ol>
- </p>
</div>
<div class="remark">
@@ -1033,7 +1032,6 @@
class="name">entity</span>, <span class="name">activity</span>,
<span class="name">agent</span>}, the following definition
holds:
- </p>
<p>
<span class="name">r(a<sub>0</sub>,...,a<sub>i-1</sub>, -, a<sub>i+1</sub>, ...,a<sub>n</sub>) </span> <span class="conditional">IF AND ONLY IF</span> there exists <span class="name">a'</span>
such that <span class="name">r(a<sub>0</sub>,...,a<sub>i-1</sub>,a',a<sub>i+1</sub>,...,a<sub>n</sub>)</span>.