--- a/model/ProvenanceModel.html	Mon Sep 05 22:56:34 2011 +0100
+++ b/model/ProvenanceModel.html	Mon Sep 05 23:31:39 2011 +0100
@@ -476,7 +476,7 @@
 
 
 
-<div class='constraint'><a name="PIL:0001">From the assertion of a process execution, one can infer that the
+<div class='namedconstraint'><span class='cname'>start-precedes-end</span><a name="PIL:0001"> From the assertion of a process execution, one can infer that the
 start precedes the end of the represented activity.</a> [<a
 href="../ontology/ProvenanceFormalModel.html#PIL:0001">PIL:0001</a>] </div>
 

--- a/model/extra.css	Mon Sep 05 22:56:34 2011 +0100
+++ b/model/extra.css	Mon Sep 05 23:31:39 2011 +0100
@@ -63,6 +63,7 @@
     background: #fff;
 }
 
+
 .constraint::before {
     content:    "Constraint";
     display:    block;
@@ -73,3 +74,28 @@
     background: #fff;
     padding:    3px 1em;
 }
+
+.namedconstraint {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #00f;
+    background: #fff;
+}
+
+.cname::before {
+    content:    "Constraint: ";
+}
+
+.cname {
+    font-weight:    bold;
+    display:    block;
+    width:  300px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #00f;
+    background: #fff;
+    padding:    3px 1em;
+}
+
+
+