--- a/model/prov-constraints.html	Thu May 31 14:51:05 2012 +0100
+++ b/model/prov-constraints.html	Thu May 31 15:00:27 2012 +0100
@@ -39,7 +39,7 @@
                  .attr('data-title',myTitle).prepend($('<div>').addClass('ruleTitle')
                                                           .append($('<a>').addClass('internalDFN').attr('href','#'+myid).append(myTitle)));
 
-          console.log( "rule for " + myid + " " + mycount);
+          //console.log( "rule for " + myid + " " + mycount);
 
         });
       }
@@ -51,17 +51,32 @@
 
 
       function updateRulesRefs() {
-        $('.anexample-ref').each(function(index) {
+        $('.rule-ref').each(function(index) {
 
           myhref=$(this).attr('href');
 
           //console.log( "example ref for " + myhref);
 
-          mycount=$(myhref).attr('data-count');
-
-          console.log( "rule ref for " + myhref + " " + mycount);
-
-          $(this).children('span').replaceWith(function(){return $('<span>').append("Example " + mycount)});
+          mytitle=$(myhref).attr('data-title');
+
+          console.log( "rule ref for " + myhref + " " + mytitle);
+
+          $(this).children('span').replaceWith(function(){return $('<span>').append(mytitle)});
+
+        });
+
+        $('.rule-text').each(function(index) {
+
+          myhref=$(this).attr('href');
+          $(this).attr('href', myhref + '_text');
+
+          //console.log( "example ref for " + myhref);
+
+          mytitle=$(myhref).attr('data-title');
+
+          console.log( "rule ref for " + myhref + " " + mytitle);
+
+          $(this).children('span').replaceWith(function(){return $('<span>').append(mytitle)});
 
         });
       }
@@ -580,7 +595,7 @@
 class='conditional'>THEN</span> <span class="name">used(-;a,e1,-)</span> also holds.
 </div>
 <p>This inference is justified by the fact that the entity denoted by <span class="name">e2</span> is generated by at most one activity in a given account
-(see <a href="#generation-uniqueness">generation-uniqueness</a>). Hence,  this activity is also the one referred to by the usage of <span class="name">e1</span>. 
+(see <a class="rule-text" href="#generation-uniqueness"><span>TBD</span></a>). Hence,  this activity is also the one referred to by the usage of <span class="name">e1</span>. 
 </p>
 
 <div class="note">
@@ -1094,6 +1109,8 @@
   way of saying this once concisely.
       </div>
   
+
+<div id='generation-uniqueness_text'>
 <p>We assume that an entity has exactly one generation and
 invalidation event (either or both may, however, be left implicit).
 So, PROV-DM allows for two distinct <a>generations</a>  <span class="name">g1</span> and <span class="name">g2</span> referencing the same entity provided they occur
@@ -1102,6 +1119,7 @@
 caused by the same <em>activity</em>, though  provenance may contain
 several  statements for the same world activity. 
 </p>
+</div>
 
 
 <div class='constraint' id='generation-uniqueness'>Given an entity denoted by <span class="name">e</span>, two activities denoted by <span class="name">a1</span> and <span
@@ -1257,7 +1275,7 @@
 
 <p>The existence of an activity implies that the <a>activity start event</a> always <a>precedes</a> the corresponding <a>activity end
 event</a>.  This is
-illustrated by Subfigure <a href="#ordering-activity-fig">ordering-activity-fig</a> (a) and  expressed by constraint <a href="#start-precedes-end">start-precedes-end</a>.</p> 
+illustrated by Subfigure <a href="#ordering-activity-fig">ordering-activity-fig</a> (a) and  expressed by <a class="rule-ref" href="#start-precedes-end"><span>TBD</span></a>.</p> 
 <div class='constraint' id='start-precedes-end'>
 <span class="conditional">IF</span>
 <span class="name">wasStartedBy(start;a,-,-,-)</span>