--- a/model/prov-constraints.html Fri Jul 20 07:52:06 2012 +0100
+++ b/model/prov-constraints.html Fri Jul 20 08:03:24 2012 +0100
@@ -341,7 +341,7 @@
</li>
<li>two consisting of inferences about entities <a class="rule-text" href="#entity-generation-invalidation-inference"><span>TBD</span></a> and activities <a class="rule-text" href="#activity-start-end-inference"><span>TBD</span></a> that may, together with certain
other inference rules, lead to nontermination.</ul>
-These might be removed from PROV-CONSTRAINTS.</p>
+<p>These might be removed from PROV-CONSTRAINTS.</p>
<h4>PROV Family of Specifications</h4>
This document is part of the PROV family of specifications, a set of specifications defining various aspects that are necessary to achieve the vision of inter-operable
@@ -661,7 +661,7 @@
<tr class="component1-color"><td class="essential"><a>Communication</a></td><td><a class="rule-text" href="#wasInformedBy-definition"><span>TBD</span></a> </td></tr>
<tr class="component1-color"><td><a>Start</a></td><td><a class="rule-text" href="#wasStartedBy-inference"><span>TBD</span><br></a><a class="rule-text" href="#unique-startTime"><span>TBD</span></a><br> <a class="rule-text" href="#start-precedes-end"><span>TBD</span></a></td></tr>
<tr class="component1-color"><td><a>End</a></td><td><a class="rule-text" href="#wasEndedBy-inference"><span>TBD</span></a><br><a class="rule-text" href="#unique-endTime"><span>TBD</span></a> <br> <a class="rule-text" href="#start-precedes-end"><span>TBD</span></a></td></tr>
-<tr class="component1-color"><td><a>Invalidation</a></td><td><a class="rule-text" href="#unique-invalidation-time"><span>TBD</span></a></td> </td></tr>
+<tr class="component1-color"><td><a>Invalidation</a></td><td><a class="rule-text" href="#unique-invalidation-time"><span>TBD</span></a></td> </tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
@@ -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> </a></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>
@@ -693,7 +693,7 @@
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr class="component6-color"><td class="provType"><a>Collection</a></td><td> </td><td rowspan="6"><a href="#component6">Component 6: Collections</a></td></tr>
-<tr class="component6-color"><td class="provType"><a title="empty dictionary">EmptyDictionary</a></td><td> </a></td></tr>
+<tr class="component6-color"><td class="provType"><a title="empty dictionary">EmptyDictionary</a></td><td></td></tr>
<tr class="component6-color"><td><a>Membership</a></td><td> </td></tr>
</table>
</div>