--- a/model/prov-constraints.html	Wed Jun 06 22:36:54 2012 +0100
+++ b/model/prov-constraints.html	Thu Jun 07 09:07:10 2012 +0100
@@ -706,22 +706,19 @@
 
   
 
-<!--
-
-<p>A revision admits the following inference, linking the two entities
-  by a derivation, and stating them to be alternates.</p>
-
-<div class='inference' id='wasRevision'>
-Given two identifiers <span class="name">e1</span> and <span class="name">e2</span> identifying two entities, and an identifier <span class="name">ag</span> identifying an agent,
-<span class='conditional'>IF</span> <span class="name">wasRevisionOf(-,e2,e1,ag)</span> holds, <span class='conditional'>THEN</span> the following 
-hold:
+
+<p>A revision admits the following inference, stating that  the two entities
+linked  by a revision are also alternates.</p>
+
+<div class='inference' id='revision-is-alternate'>
+Given two identifiers <span class="name">e1</span> and <span class="name">e2</span> identifying two entities,
+<span class='conditional'>IF</span> <span class="name">wasDerivedFrom(-,e2,e1,[prov:type="prov:WasRevisionOf"])</span> holds, <span class='conditional'>THEN</span> the following 
+hold::
 <pre>
-wasDerivedFrom(-;e2,e1,-)
 alternateOf(e1,e2)
-wasAttributedTo(e2,ag)
 </pre>
 </div>
--->
+
 
 <!--
 <div class="note">