--- a/model/working-copy/prov-dm-constraints.html	Tue Feb 14 12:04:02 2012 +0000
+++ b/model/working-copy/prov-dm-constraints.html	Tue Feb 14 12:16:05 2012 +0000
@@ -1104,12 +1104,12 @@
 
 
 
-<p> An information flow ordering record is formally defined as follows.</p>
-
-<div class='constraint' id='wasInformedBy-Definition'>Given two activity records identified by <span class="name">a1</span> and <span class="name">a2</span>, 
- the record <span class="name">wasInformedBy(a2,a1)</span>
+<p> An information flow ordering relation is formally defined as follows.</p>
+
+<div class='constraint' id='wasInformedBy-Definition'>Given two activities identified by <span class="name">a1</span> and <span class="name">a2</span>, 
+ <span class="name">wasInformedBy(a2,a1)</span>
 holds, <span class='conditional'>if and only if</span>
- there is an entity record identified by <span class="name">e</span> and sets of attribute-value pairs <span class="name">attrs1</span> and <span class="name">attrs2</span>,
+ there is an entity  identified by <span class="name">e</span> and sets of attribute-value pairs <span class="name">attrs1</span> and <span class="name">attrs2</span>,
 such that <span class="name">wasGeneratedBy(e,a1,attrs1)</span> and <span class="name">used(a2,e,attrs2)</span> hold.
 </div>