| author | Luc Moreau <l.moreau@ecs.soton.ac.uk> |
| Thu, 31 May 2012 23:51:50 +0100 | |
| changeset 3135 | e4f47e3c2137 |
| parent 3134 | 58e71fd4509f |
| child 3136 | b5f2f6bc78f2 |
| model/prov-constraints.html |
--- a/model/prov-constraints.html Thu May 31 23:47:46 2012 +0100 +++ b/model/prov-constraints.html Thu May 31 23:51:50 2012 +0100 @@ -1823,7 +1823,7 @@ Nor have the following: <pre class="codeexample"> derivedByInsertionFrom(c, c1, {("k1", e1)}) -memberOf(c, {"k2"}). +memberOf(c, {"k2",e2}). </pre> </div>