prov-n notation rationale
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 21 Mar 2012 13:04:11 +0000
changeset 1955 d20e3a46d114
parent 1954 e810b4f73529
child 1956 966bb518d2b9
prov-n notation rationale
model/working-copy/wd5-prov-n.html
--- a/model/working-copy/wd5-prov-n.html	Wed Mar 21 13:00:12 2012 +0000
+++ b/model/working-copy/wd5-prov-n.html	Wed Mar 21 13:04:11 2012 +0000
@@ -349,6 +349,7 @@
 <p>The activity, generation, and usage are specified in the first derivation, whereas they are not in the second, but have been explicitly marked as such.</p>
 <pre class="codeexample" >
 wasDerivedFrom(e2, e1, a, g2, u1)
+wasDerivedFrom(e2, e1, a, -, -)
 wasDerivedFrom(e2, e1, -, -, -)
 </pre>
 </div>