--- a/ontology/diagram-history/2012-07-09-david/prov-o-examples.graffle	Tue Jul 10 08:58:20 2012 -0400
+++ b/ontology/diagram-history/2012-07-09-david/prov-o-examples.graffle	Tue Jul 10 09:01:08 2012 -0400
@@ -6,7 +6,7 @@
 	<integer>0</integer>
 	<key>ApplicationVersion</key>
 	<array>
-		<string>com.omnigroup.OmniGraffle</string>
+		<string>com.omnigroup.OmniGrafflePro</string>
 		<string>139.7.0.167456</string>
 	</array>
 	<key>AutoAdjust</key>
@@ -14,7 +14,7 @@
 	<key>BackgroundGraphic</key>
 	<dict>
 		<key>Bounds</key>
-		<string>{{0, 0}, {1118, 783}}</string>
+		<string>{{0, 0}, {1117.9999465942383, 783}}</string>
 		<key>Class</key>
 		<string>SolidGraphic</string>
 		<key>ID</key>
@@ -64,7 +64,7 @@
 			<key>Points</key>
 			<array>
 				<string>{431.6297607421875, 118.15265274047852}</string>
-				<string>{430.86317992353054, 91.499793316802226}</string>
+				<string>{430.86317865992203, 91.499793318169878}</string>
 			</array>
 			<key>Style</key>
 			<dict>
@@ -194,7 +194,7 @@
 			<key>Points</key>
 			<array>
 				<string>{783.89764404296875, 203.46044158935547}</string>
-				<string>{808.50335447182204, 200.59839769545414}</string>
+				<string>{808.50335294004435, 200.59645771616835}</string>
 			</array>
 			<key>Style</key>
 			<dict>
@@ -316,7 +316,7 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{101.96232141814133, 324.43469914126723}, {108, 24}}</string>
+			<string>{{101.96249257016569, 324.43469918880731}, {108, 24}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>FitText</key>
@@ -386,8 +386,8 @@
 			<integer>45</integer>
 			<key>Points</key>
 			<array>
-				<string>{183.81244241000431, 363.33070065338603}</string>
-				<string>{123.74601025029381, 305.32208910490579}</string>
+				<string>{183.81245121673325, 363.33069962938475}</string>
+				<string>{123.74636533836295, 305.32208666336442}</string>
 			</array>
 			<key>Style</key>
 			<dict>
@@ -659,7 +659,7 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{639.60946188750324, 448.31747738511643}, {123, 24}}</string>
+			<string>{{639.60943121493403, 448.31746688698064}, {123, 24}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>FitText</key>
@@ -729,8 +729,8 @@
 			<integer>37</integer>
 			<key>Points</key>
 			<array>
-				<string>{658.4857361987755, 574.83998828591109}</string>
-				<string>{745.72311217617948, 340.44838642809685}</string>
+				<string>{658.48573013551402, 574.83998784162929}</string>
+				<string>{745.7230557453961, 340.44836540673441}</string>
 			</array>
 			<key>Style</key>
 			<dict>
@@ -752,7 +752,7 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{540.85550595794848, 350.55212872856555}, {123, 24}}</string>
+			<string>{{541.00896959618649, 350.4861503115057}, {123, 24}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>FitText</key>
@@ -822,8 +822,8 @@
 			<integer>35</integer>
 			<key>Points</key>
 			<array>
-				<string>{546.84669429960422, 386.3328481224558}</string>
-				<string>{712.93804227021622, 315.17708704882881}</string>
+				<string>{546.84657853326735, 386.33279802314001}</string>
+				<string>{713.3974609375, 314.97976875305176}</string>
 			</array>
 			<key>Style</key>
 			<dict>
@@ -1733,8 +1733,8 @@
 			<integer>15</integer>
 			<key>Points</key>
 			<array>
-				<string>{631.27360459578267, 575.74363109890862}</string>
-				<string>{522.92073923081296, 428.48570951108724}</string>
+				<string>{631.27360220304035, 575.74363145663278}</string>
+				<string>{522.92072221169258, 428.48571190422462}</string>
 			</array>
 			<key>Style</key>
 			<dict>
@@ -2333,9 +2333,9 @@
 	<key>MasterSheets</key>
 	<array/>
 	<key>ModificationDate</key>
-	<string>2012-07-10 09:32:05 +0000</string>
+	<string>2012-07-10 13:00:26 +0000</string>
 	<key>Modifier</key>
-	<string>David</string>
+	<string>lebot</string>
 	<key>NotesVisible</key>
 	<string>NO</string>
 	<key>Orientation</key>
@@ -2343,7 +2343,7 @@
 	<key>OriginVisible</key>
 	<string>NO</string>
 	<key>PageBreaks</key>
-	<string>YES</string>
+	<string>NO</string>
 	<key>PrintInfo</key>
 	<dict>
 		<key>NSBottomMargin</key>
@@ -2361,10 +2361,15 @@
 			<string>float</string>
 			<string>18</string>
 		</array>
+		<key>NSPaperName</key>
+		<array>
+			<string>string</string>
+			<string>iso-a4</string>
+		</array>
 		<key>NSPaperSize</key>
 		<array>
 			<string>size</string>
-			<string>{595, 842}</string>
+			<string>{594.99997329711914, 842}</string>
 		</array>
 		<key>NSPrintReverseOrientation</key>
 		<array>
@@ -2414,21 +2419,19 @@
 			</dict>
 		</array>
 		<key>Frame</key>
-		<string>{{983, 237}, {1166, 1161}}</string>
+		<string>{{28, 52}, {1166, 976}}</string>
 		<key>ListView</key>
 		<true/>
 		<key>OutlineWidth</key>
 		<integer>142</integer>
 		<key>RightSidebar</key>
 		<false/>
-		<key>ShowRuler</key>
-		<true/>
 		<key>Sidebar</key>
-		<true/>
+		<false/>
 		<key>SidebarWidth</key>
 		<integer>120</integer>
 		<key>VisibleRegion</key>
-		<string>{{4, -112}, {1031, 1007}}</string>
+		<string>{{-23, -49}, {1166, 882}}</string>
 		<key>Zoom</key>
 		<real>1</real>
 		<key>ZoomValues</key>