PROV-CONSTRAINTS changed start/end of agent to start1/end1 as suggested by Luc.
authorTom De Nies <tom.denies@ugent.be>
Wed, 08 Aug 2012 13:56:48 +0200
changeset 4312 e3e1ff20c9c8
parent 4311 b82bbbba4f7b
child 4313 8f31b1cb6307
PROV-CONSTRAINTS changed start/end of agent to start1/end1 as suggested by Luc.
model/prov-constraints.html
--- a/model/prov-constraints.html	Wed Aug 08 12:43:27 2012 +0100
+++ b/model/prov-constraints.html	Wed Aug 08 13:56:48 2012 +0200
@@ -3022,7 +3022,7 @@
 and
 <span class="name">wasStartedBy(start; a,_e5,_a5,_t5,_attrs5)</span> 
 and
-<span class="name">wasEndedBy(end; ag,_e6,_a6,_t6,_attrs6)</span> 
+<span class="name">wasEndedBy(end1; ag,_e6,_a6,_t6,_attrs6)</span> 
 <span class="conditional">THEN</span>
 <span class="name">start</span> 
 <a title="precedes">precedes</a>
@@ -3031,7 +3031,7 @@
     <span class="conditional">IF</span>
 <span class="name">wasAssociatedWith(_assoc; a,ag,_pl,_attrs)</span> 
 and
-<span class="name">wasStartedBy(start; ag,_e7,_a7,_t7,_attrs7)</span> 
+<span class="name">wasStartedBy(start1; ag,_e7,_a7,_t7,_attrs7)</span> 
 and
 <span class="name">wasEndedBy(end; a,_e8,_a8,_t8,_attrs8)</span> 
 <span class="conditional">THEN</span>