--- a/model/prov-constraints.html	Thu Jan 24 18:37:55 2013 +0000
+++ b/model/prov-constraints.html	Fri Jan 25 15:15:18 2013 +0000
@@ -571,7 +571,9 @@
           
           $(this).attr('data-count', mycount)
                  .attr('data-title',myTitle).prepend($('<div>').addClass('ruleTitle')
-                                                          .append($('<a>').addClass('internalDFN').attr('href','#'+myid).append(myTitle)));
+		   .append($('<a>').attr('id',mycount))
+		   .append($('<a>').addClass('internalDFN').attr('href','#'+myid).append(myTitle))
+		  );
 
           //console.log( "rule for " + myid + " " + mycount);
 

--- a/semantics/checker.pl	Thu Jan 24 18:37:55 2013 +0000
+++ b/semantics/checker.pl	Fri Jan 25 15:15:18 2013 +0000
@@ -227,8 +227,6 @@
 impos(I,_T) :- member(specializationOf(E1,E2),I), E1 == E2.
 
 % Constraint 53.  
-
-
 impos(I,_T) :- member(T1,I),
 	member(T2,I),
 	T1 =.. [R,Id1|_],