273
|
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
2 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
|
|
3 <svg version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" xmlns:dc="http://purl.org/dc/elements/1.1/" viewBox="68 87 578 643" width="578" height="643">
|
|
4 <defs>
|
|
5 <marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" stroke-linejoin="miter" stroke-miterlimit="10" viewBox="-5 -3 6 6" markerWidth="6" markerHeight="6" color="black">
|
|
6 <g>
|
|
7 <path d="M -3.7333333 0 L 0 1.4 L 0 -1.4 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/>
|
|
8 </g>
|
|
9 </marker>
|
|
10 <font-face font-family="Helvetica Neue" font-size="22" panose-1="2 0 5 3 0 0 0 2 0 4" units-per-em="1000" underline-position="-100" underline-thickness="50" slope="0" x-height="517" cap-height="714" ascent="951.9958" descent="-212.99744" font-weight="400">
|
|
11 <font-face-src>
|
|
12 <font-face-name name="HelveticaNeue"/>
|
|
13 </font-face-src>
|
|
14 </font-face>
|
|
15 <marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_2" stroke-linejoin="miter" stroke-miterlimit="10" viewBox="-1 -3 6 6" markerWidth="6" markerHeight="6" color="black">
|
|
16 <g>
|
|
17 <path d="M 3.7333333 0 L 0 -1.4 L 0 1.4 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/>
|
|
18 </g>
|
|
19 </marker>
|
|
20 </defs>
|
|
21 <metadata> Produced by OmniGraffle 7.12.1
|
|
22 <dc:date>2019-11-28 04:44:00 +0000</dc:date>
|
|
23 </metadata>
|
|
24 <g id="Canvas_1" stroke-dasharray="none" stroke="none" fill="none" stroke-opacity="1" fill-opacity="1">
|
|
25 <title>Canvas 1</title>
|
|
26 <rect fill="white" x="68" y="87" width="578" height="643"/>
|
|
27 <g id="Canvas_1: Layer 1">
|
|
28 <title>Layer 1</title>
|
|
29 <g id="Graphic_6">
|
|
30 <path d="M 123 129 L 150.21835 251 L 177.4367 129 Z" fill="white"/>
|
|
31 <path d="M 123 129 L 150.21835 251 L 177.4367 129 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
32 </g>
|
|
33 <g id="Graphic_7">
|
|
34 <path d="M 123 251 L 150.21835 373 L 177.4367 251 Z" fill="white"/>
|
|
35 <path d="M 123 251 L 150.21835 373 L 177.4367 251 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
36 </g>
|
|
37 <g id="Graphic_8">
|
|
38 <path d="M 123 373 L 150.21835 495 L 177.4367 373 Z" fill="white"/>
|
|
39 <path d="M 123 373 L 150.21835 495 L 177.4367 373 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
40 </g>
|
|
41 <g id="Graphic_9">
|
|
42 <path d="M 123 495 L 150.21835 617 L 177.4367 495 Z" fill="white"/>
|
|
43 <path d="M 123 495 L 150.21835 617 L 177.4367 495 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
44 </g>
|
|
45 <g id="Graphic_10">
|
|
46 <ellipse cx="270.5" cy="478.5" rx="14.5000231695775" ry="82.5001318269064" fill="white"/>
|
|
47 <ellipse cx="270.5" cy="478.5" rx="14.5000231695775" ry="82.5001318269064" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
48 </g>
|
|
49 <g id="Graphic_12">
|
|
50 <ellipse cx="293.5" cy="280.5" rx="14.5000231695775" ry="82.5001318269065" fill="white"/>
|
|
51 <ellipse cx="293.5" cy="280.5" rx="14.5000231695775" ry="82.5001318269065" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
52 </g>
|
|
53 <g id="Graphic_13">
|
|
54 <circle cx="154.5" cy="181.5" r="6.50001038636232" fill="black"/>
|
|
55 <circle cx="154.5" cy="181.5" r="6.50001038636232" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
56 </g>
|
|
57 <g id="Graphic_14">
|
|
58 <circle cx="154.5" cy="272.5" r="6.50001038636234" fill="black"/>
|
|
59 <circle cx="154.5" cy="272.5" r="6.50001038636234" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
60 </g>
|
|
61 <g id="Graphic_15">
|
|
62 <circle cx="154.5" cy="304.5" r="6.50001038636234" fill="black"/>
|
|
63 <circle cx="154.5" cy="304.5" r="6.50001038636234" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
64 </g>
|
|
65 <g id="Graphic_16">
|
|
66 <circle cx="154.5" cy="395.5" r="6.50001038636233" fill="black"/>
|
|
67 <circle cx="154.5" cy="395.5" r="6.50001038636233" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
68 </g>
|
|
69 <g id="Graphic_18">
|
|
70 <circle cx="154.5" cy="424.5" r="6.50001038636234" fill="black"/>
|
|
71 <circle cx="154.5" cy="424.5" r="6.50001038636234" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
72 </g>
|
|
73 <g id="Line_19">
|
|
74 <line x1="173.9379" y1="409.40815" x2="254.63666" y2="467.1495" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
75 </g>
|
|
76 <g id="Line_20">
|
|
77 <line x1="176.16929" y1="434.5874" x2="254.55825" y2="471.07884" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
78 </g>
|
|
79 <g id="Line_21">
|
|
80 <line x1="173.96816" y1="195.3658" x2="277.63543" y2="269.20077" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
81 </g>
|
|
82 <g id="Line_22">
|
|
83 <line x1="178.3606" y1="273.87327" x2="277.5009" y2="279.5792" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
84 </g>
|
|
85 <g id="Line_23">
|
|
86 <line x1="178.05217" y1="300.43344" x2="277.50804" y2="283.2612" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
87 </g>
|
|
88 <g id="Graphic_24">
|
|
89 <circle cx="150.21835" cy="525.5" r="6.50001038636231" fill="black"/>
|
|
90 <circle cx="150.21835" cy="525.5" r="6.50001038636231" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
91 </g>
|
|
92 <g id="Line_25">
|
|
93 <line x1="162.28478" y1="504.8674" x2="278.23874" y2="306.5955" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
94 </g>
|
|
95 <g id="Graphic_26">
|
|
96 <text transform="translate(119.245 633)" fill="black">
|
|
97 <tspan font-family="Helvetica Neue" font-size="22" font-weight="400" fill="black" x="0" y="21">Ordinal</tspan>
|
|
98 </text>
|
|
99 </g>
|
|
100 <g id="Graphic_27">
|
|
101 <text transform="translate(224.256 584)" fill="black">
|
|
102 <tspan font-family="Helvetica Neue" font-size="22" font-weight="400" fill="black" x="10.989" y="21">Ordinal</tspan>
|
|
103 <tspan font-family="Helvetica Neue" font-size="22" font-weight="400" fill="black" x="5968559e-19" y="47.616">Definable</tspan>
|
|
104 </text>
|
|
105 </g>
|
|
106 <g id="Graphic_47">
|
|
107 <path d="M 426 129 L 453.21835 251 L 480.4367 129 Z" fill="white"/>
|
|
108 <path d="M 426 129 L 453.21835 251 L 480.4367 129 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
109 </g>
|
|
110 <g id="Graphic_46">
|
|
111 <path d="M 426 251 L 453.21835 373 L 480.4367 251 Z" fill="white"/>
|
|
112 <path d="M 426 251 L 453.21835 373 L 480.4367 251 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
113 </g>
|
|
114 <g id="Graphic_45">
|
|
115 <path d="M 426 373 L 453.21835 495 L 480.4367 373 Z" fill="white"/>
|
|
116 <path d="M 426 373 L 453.21835 495 L 480.4367 373 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
117 </g>
|
|
118 <g id="Graphic_44">
|
|
119 <path d="M 426 495 L 453.21835 617 L 480.4367 495 Z" fill="white"/>
|
|
120 <path d="M 426 495 L 453.21835 617 L 480.4367 495 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
121 </g>
|
|
122 <g id="Graphic_43">
|
|
123 <ellipse cx="573.5" cy="478.5" rx="14.5000231695775" ry="82.5001318269064" fill="white"/>
|
|
124 <ellipse cx="573.5" cy="478.5" rx="14.5000231695775" ry="82.5001318269064" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
125 </g>
|
|
126 <g id="Graphic_42">
|
|
127 <ellipse cx="596.5" cy="280.5" rx="14.5000231695775" ry="82.5001318269065" fill="white"/>
|
|
128 <ellipse cx="596.5" cy="280.5" rx="14.5000231695775" ry="82.5001318269065" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
129 </g>
|
|
130 <g id="Graphic_41">
|
|
131 <circle cx="457.5" cy="181.5" r="6.50001038636232" fill="black"/>
|
|
132 <circle cx="457.5" cy="181.5" r="6.50001038636232" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
133 </g>
|
|
134 <g id="Graphic_40">
|
|
135 <circle cx="457.5" cy="272.5" r="6.50001038636234" fill="black"/>
|
|
136 <circle cx="457.5" cy="272.5" r="6.50001038636234" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
137 </g>
|
|
138 <g id="Graphic_39">
|
|
139 <circle cx="457.5" cy="304.5" r="6.50001038636234" fill="black"/>
|
|
140 <circle cx="457.5" cy="304.5" r="6.50001038636234" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
141 </g>
|
|
142 <g id="Graphic_38">
|
|
143 <circle cx="457.5" cy="395.5" r="6.50001038636232" fill="black"/>
|
|
144 <circle cx="457.5" cy="395.5" r="6.50001038636232" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
145 </g>
|
|
146 <g id="Graphic_37">
|
|
147 <circle cx="457.5" cy="424.5" r="6.50001038636234" fill="black"/>
|
|
148 <circle cx="457.5" cy="424.5" r="6.50001038636234" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
149 </g>
|
|
150 <g id="Graphic_31">
|
|
151 <circle cx="453.21835" cy="525.5" r="6.50001038636233" fill="black"/>
|
|
152 <circle cx="453.21835" cy="525.5" r="6.50001038636233" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
153 </g>
|
|
154 <g id="Graphic_29">
|
|
155 <text transform="translate(422.245 633)" fill="black">
|
|
156 <tspan font-family="Helvetica Neue" font-size="22" font-weight="400" fill="black" x="0" y="21">Ordinal</tspan>
|
|
157 </text>
|
|
158 </g>
|
|
159 <g id="Graphic_28">
|
|
160 <text transform="translate(527.256 584)" fill="black">
|
|
161 <tspan font-family="Helvetica Neue" font-size="22" font-weight="400" fill="black" x="10.989" y="21">Ordinal</tspan>
|
|
162 <tspan font-family="Helvetica Neue" font-size="22" font-weight="400" fill="black" x="5968559e-19" y="47.616">Definable</tspan>
|
|
163 </text>
|
|
164 </g>
|
|
165 <g id="Line_48">
|
|
166 <path d="M 604.7609 469.93216 C 612.0671 467.7524 618.9377 465.6045 624.34375 463.84375 C 637.5514 459.5421 639.2045 425.7619 633.77734 414.5703 C 628.35015 403.3787 602 397 574 385 C 546 373 545 374 507 358 C 469 342 416.78393 326.70416 398 311 C 379.21607 295.29584 381.79114 286.83255 383 279 C 384.20886 271.16745 393.904 266.09114 404 266 C 410.17797 265.94423 421.8459 265.70735 434.2442 267.17386" marker-end="url(#FilledArrow_Marker_2)" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
167 </g>
|
|
168 <g id="Graphic_49">
|
|
169 <circle cx="453.21835" cy="149.5" r="6.50001038636234" fill="black"/>
|
|
170 <circle cx="453.21835" cy="149.5" r="6.50001038636234" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
171 </g>
|
|
172 <g id="Line_50">
|
|
173 <path d="M 623.554 268.5201 C 625.4985 267.62867 627.6082 266.779 630 266 C 643.2077 261.69835 643.4272 246.1916 638 235 C 632.5728 223.8084 607 201 559 210 C 511 219 518.4367 243 480.4367 227 C 442.4367 211 413.62724 203.75242 394.8433 188.04826 C 376.0594 172.3441 378.63445 163.88081 379.8433 156.04826 C 381.05217 148.21571 390.7473 143.1394 400.8433 143.04826 C 408.3246 142.98073 423.85655 142.6476 438.987 145.39538" marker-end="url(#FilledArrow_Marker_2)" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
174 </g>
|
|
175 <g id="Graphic_52">
|
|
176 <text transform="translate(73.912 92.608)" fill="black">
|
|
177 <tspan font-family="Helvetica Neue" font-size="22" font-weight="400" fill="black" x="18474111e-20" y="21">OD contains Ordinals</tspan>
|
|
178 </text>
|
|
179 </g>
|
|
180 <g id="Graphic_53">
|
|
181 <text transform="translate(377.204 92.608)" fill="black">
|
|
182 <tspan font-family="Helvetica Neue" font-size="22" font-weight="400" fill="black" x="7105427e-19" y="21">OD has a name in Ordinals</tspan>
|
|
183 </text>
|
|
184 </g>
|
|
185 <g id="Graphic_54">
|
|
186 <text transform="translate(220 698)" fill="black">
|
|
187 <tspan font-family="Helvetica Neue" font-size="22" font-weight="400" fill="black" x="0" y="21">all arrows have to be acyclic</tspan>
|
|
188 </text>
|
|
189 </g>
|
|
190 </g>
|
|
191 </g>
|
|
192 </svg>
|