introduced temporal events in 5.9.1 and their ordering in 5.9.2
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 27 Jul 2011 12:28:20 +0100
changeset 64 3575dcfb43a1
parent 63 971ca987bfd3
child 65 90a54570c98f
introduced temporal events in 5.9.1 and their ordering in 5.9.2
model/ProvenanceModel.html
--- a/model/ProvenanceModel.html	Wed Jul 27 12:27:33 2011 +0100
+++ b/model/ProvenanceModel.html	Wed Jul 27 12:28:20 2011 +0100
@@ -706,7 +706,7 @@
 
 <p><dfn id="dfn-follows">Follows</dfn> is a partial order between events, indicating that an event occurs after another.  For convenience, <dfn id="dfn-follows">precedes</dfn> is defined as the symmetric of follows. </p>
 
-<p>This specification introduces inferences rules allowing such event ordering to be inferred from provenance constructs.</p>
+<p>This specification introduces inference rules allowing such event ordering to be inferred from provenance constructs.</p>
 </section>