updated start/end
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Mon, 02 Apr 2012 09:59:03 +0100
changeset 2182 4043f16103a7
parent 2181 717cde12037d
child 2183 349f519a3737
updated start/end
model/prov-dm-constraints.html
--- a/model/prov-dm-constraints.html	Mon Apr 02 09:56:27 2012 +0100
+++ b/model/prov-dm-constraints.html	Mon Apr 02 09:59:03 2012 +0100
@@ -686,7 +686,7 @@
 </p>
 
 <div class='constraint' id='unique-startTime'>
-Given an activity <span class="name">activity(a,t1,t2,attr1)</span> and its start <span class="name">wasStartedBy(id,a,e,t,attrs)</span>,  then <span class="name">t</span>=<span class="name">t1</span>.
+Given an activity <span class="name">activity(a,t1,t2,attrs1)</span> and its start <span class="name">wasStartedBy(id,a,e,t,attrs2)</span>,  then <span class="name">t</span>=<span class="name">t1</span>.
 </div> 
 </section> 
 
@@ -698,7 +698,7 @@
 </p>
 
 <div class='constraint' id='unique-endTime'>
-Given an activity <span class="name">activity(a,t1,t2,attr1)</span> and its end <span class="name">wasEndedBy(id,a,e,t,attrs)</span>,  then <span class="name">t</span>=<span class="name">t2</span>.
+Given an activity <span class="name">activity(a,t1,t2,attrs1)</span> and its end <span class="name">wasEndedBy(id,a,e,t,attrs2)</span>,  then <span class="name">t</span>=<span class="name">t2</span>.
 </div>