--- a/model/prov-constraints.html Mon Sep 03 15:28:02 2012 +0100
+++ b/model/prov-constraints.html Mon Sep 03 15:41:04 2012 +0100
@@ -1576,15 +1576,15 @@
</tr>
<tr class="component2-color">
<td class="provType"><a>Quotation</a></td>
- <td></td>
+ <td>No specific constraints</td>
</tr>
<tr class="component2-color">
<td class="provType"><a>Primary Source</a></td>
- <td></td>
+ <td>No specific constraints</td>
</tr>
<tr class="component2-color">
<td><a class="essential">Influence</a></td>
- <td></td>
+ <td>No specific constraints</td>
</tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
@@ -1634,12 +1634,15 @@
<tr class="component4-color">
<td><a title="bundle">Bundle constructor</a></td>
- <td></td>
+ <td>No specific constraints; see <a href="#bundle-constraints"
+class="sectionRef"></a></td>
<td rowspan="2" style="text-align: center; "><a href="http://www.w3.org/TR/prov-dm/#component4" title="Component 4: Bundles">4</a></td>
</tr>
<tr class="component4-color">
<td class="provType"><a title="bundle">Bundle type</a></td>
- <td> </td>
+ <td> No specific constraints; see <a href="#bundle-constraints"
+class="sectionRef"></a>
+ </td>
</tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
@@ -1679,7 +1682,9 @@
</tr>
<tr class="component6-color">
<td><a>Membership</a></td>
- <td><a class="rule-text" href="#typing"><span>TBD</span></a><br></td>
+ <td> <a class="rule-text" href="#membership-empty-collection"><span>TBD</span></a><br>
+ <a class="rule-text" href="#typing"><span>TBD</span></a><br>
+ </td>
</tr>
</table>
</div>
@@ -3939,7 +3944,7 @@
<section id="type-constraints">
<h2>Type Constraints</h2>
-<p id="typing_text">The following rule establishes types denoted by identifiers from their use within expressions.
+<p id='typing_text'>The following rule establishes types denoted by identifiers from their use within expressions.
The function <span class="name">typeOf</span> gives the set of types denoted by an identifier.
That is, <span class="name">typeOf(e)</span> returns the set of types associated with identifier <span class="name">e</span>. The function <span class="name">typeOf</span> is not a term of PROV, but a construct introduced to validate PROV statements.
</p>
@@ -3968,7 +3973,7 @@
violated as a result.</p>
-<div class='constraint' id="typing">
+<div class='constraint' id='typing'>
<ol>