--- a/model/ProvenanceModel.html	Wed Dec 21 09:43:26 2011 +0000
+++ b/model/ProvenanceModel.html	Wed Dec 21 10:05:55 2011 +0000
@@ -3704,33 +3704,13 @@
 
 <div class="note">
 Satya discussed the example of a sculpture, whose hand and leg are sculpted independently by two different sculptors. He suggested that the sculpture is generated by two distinct activities. This section explains that it is not the case.  The example can be formulated as follows.
-<pre class="codeexample">
-
-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" ])
-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)
-activity(ex:a1, [ prov:type="sculptHand" ])
-
-entity(ex:s_3, [ prov:type="sculpture" ])
-entity(ex:l_3, [ prov:type="leg" ])
-wasDerivedFrom(ex:s_3,ex:h_2, [ prov:type="contained" ])
-wasDerivedFrom(ex:s_3,ex:l_3, [ prov:type="contained" ])
-wasDerivedFrom(ex:l_2,ex:l,   [ prov:type="refinementOf" ])
-wasDerivedFrom(ex:s_3,ex:s_2, [ prov:type="refinementOf" ])
-wasGeneratedBy(ex:l_3,ex:a2)
-activity(ex:a2, [ prov:type="sculptLeg" ])
-</pre>
-We see that ex:s_3 (the sculpture in its final state) was derived from ex:l_2 (containment) which was generated by ex:a2. However, ex:s_3 is not directly generated by ex:a2.  We may want to consider an abbreviation for this: wasGeneratedBy*(ex:s_3,ex:a2).
+
+<p><a href="examples/sculpture.prov-asn">Sculpture example in ASN</a></p>
+
+<p><a href="examples/sculpture.png">Sculpture example image</a></p>
+
+<p>
+We see that ex:s_3 (the sculpture in its final state) was derived from ex:l_2 (containment) which was generated by ex:a2. However, ex:s_3 is not directly generated by ex:a2.  We may want to consider an abbreviation for this: wasGeneratedBy*(ex:s_3,ex:a2).</p>
 </div>
 
 

Binary file model/examples/sculpture.png has changed

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/examples/sculpture.prov-asn	Wed Dec 21 10:05:55 2011 +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