--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/eg-17-sculpture/asn/eg-17-sculpture.asn	Thu Mar 08 11:31:27 2012 +0000
@@ -0,0 +1,31 @@
+container
+
+prefix ex <http://example.org/>
+
+entity(ex:s, [ prov:type="sculpture" ])
+entity(ex:h, [ prov:type="hand" ])
+entity(ex:l, [ prov:type="leg" ])
+wasDerivedFrom(ex:s,ex:h, [ prov:type="contained" ])
+wasDerivedFrom(ex:s,ex:l, [ prov:type="contained" ])
+
+entity(ex:s_2, [ prov:type="sculpture" ])
+entity(ex:h_2, [ prov:type="hand" ])
+activity(ex:a1, ,, [ prov:type="sculptHand" ])
+
+wasDerivedFrom(ex:s_2,ex:h_2, [ prov:type="contained" ])
+wasDerivedFrom(ex:s_2,ex:l,   [ prov:type="contained" ])
+wasDerivedFrom(ex:h_2,ex:h,   [ prov:type="refinementOf" ])
+wasDerivedFrom(ex:s_2,ex:s,   [ prov:type="refinementOf" ])
+wasGeneratedBy(ex:h_2,ex:a1)
+
+entity(ex:s_3, [ prov:type="sculpture" ])
+entity(ex:l_3, [ prov:type="leg" ])
+activity(ex:a2, ,, [ prov:type="sculptLeg" ])
+
+wasDerivedFrom(ex:s_3,ex:h_2, [ prov:type="contained" ])
+wasDerivedFrom(ex:s_3,ex:l_3, [ prov:type="contained" ])
+wasDerivedFrom(ex:l_3,ex:l,   [ prov:type="refinementOf" ])
+wasDerivedFrom(ex:s_3,ex:s_2, [ prov:type="refinementOf" ])
+wasGeneratedBy(ex:l_3,ex:a2)
+
+endContainer
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/eg-17-sculpture/document/homepage	Thu Mar 08 11:31:27 2012 +0000
@@ -0,0 +1,2 @@
+http://www.w3.org/2011/prov/wiki/Eg-17-sculpture
+http://dvcs.w3.org/hg/prov/file/tip/examples/eg-17-sculpture