2 %%Creator: dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
3 %%For: (zacchiro) Stefano Zacchiroli,,,
6 %%BoundingBox: 35 35 1256 973
15 /EncodingVector 256 array def
18 ISOLatin1Encoding 0 255 getinterval putinterval
71 % Set up ISO Latin 1 character encoding
73 dup dup findfont dup length dict begin
74 { 1 index /FID ne { def }{ pop pop } ifelse
76 /Encoding EncodingVector def
77 currentdict end definefont
79 /Times-Roman starnetISO def
80 /Times-Italic starnetISO def
81 /Times-Bold starnetISO def
82 /Times-BoldItalic starnetISO def
83 /Helvetica starnetISO def
84 /Helvetica-Oblique starnetISO def
85 /Helvetica-Bold starnetISO def
86 /Helvetica-BoldOblique starnetISO def
87 /Courier starnetISO def
88 /Courier-Oblique starnetISO def
89 /Courier-Bold starnetISO def
90 /Courier-BoldOblique starnetISO def
94 %%BeginResource: procset graphviz 0 0
95 /coord-font-family /Times-Roman def
96 /default-font-family /Times-Roman def
97 /coordfont coord-font-family findfont 8 scalefont def
99 /InvScaleFactor 1.0 def
101 dup 1 exch div /InvScaleFactor exch def
106 /solid { [] 0 setdash } bind def
107 /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
108 /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
109 /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
110 /bold { 2 setlinewidth } bind def
112 /unfilled { } bind def
113 /rounded { } bind def
114 /diagonals { } bind def
116 % hooks for setting color
117 /nodecolor { sethsbcolor } bind def
118 /edgecolor { sethsbcolor } bind def
119 /graphcolor { sethsbcolor } bind def
120 /nopcolor {pop pop pop} bind def
122 /beginpage { % i j npages
131 (\() show i str cvs show (,) show j str cvs show (\)) show
141 % draw aligned label in bounding box aligned to current point
142 /alignedtext { % width adj text
148 text stringwidth pop adj mul 0 rmoveto
155 /boxprim { % xcorner ycorner xsize ysize
178 /endpage { showpage } bind def
182 [ % layer color sequence - darkest to lightest
191 /layerlen layercolorseq length def
193 /setlayer {/maxlayer exch def /curlayer exch def
194 layercolorseq curlayer 1 sub layerlen mod get
195 aload pop sethsbcolor
196 /nodecolor {nopcolor} def
197 /edgecolor {nopcolor} def
198 /graphcolor {nopcolor} def
201 /onlayer { curlayer ne {invis} if } def
217 14 default-font-family set_font
219 % /arrowlength 10 def
222 % make sure pdfmark is harmless for PS-interpreters other than Distiller
223 /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
224 % make '<<' and '>>' safe on PS Level 1 devices
225 /languagelevel where {pop languagelevel}{1} ifelse
227 userdict (<<) cvn ([) cvn load put
228 userdict (>>) cvn ([) cvn load put
233 %%PageBoundingBox: 36 36 1256 973
234 %%PageOrientation: Portrait
236 35 35 1221 938 boxprim clip newpath
239 0 0 translate 0 rotate
240 0.000 0.000 0.000 graphcolor
241 24.00 /Times-Roman set_font
242 % cluster_presentation
245 0.000 0.000 1.000 sethsbcolor
246 0.000 0.000 0.929 sethsbcolor
247 newpath 782 488 moveto
253 0.000 0.000 1.000 sethsbcolor
254 newpath 782 488 moveto
261 0.000 0.000 0.000 sethsbcolor
263 (Terms at the content and presentation level)
264 [14.64 10.56 7.92 18.72 9.36 6 10.56 6.72 6 6.72 12 10.56 6 10.56 12 12 6.72 10.56 12 6.72 6 10.56 12 12 6 12 7.92 10.56 9.36 10.56 12 6.72 10.56 6.72 6.72 12 12 6 6.72 10.56 12 10.56 6.72]
271 0.000 0.000 1.000 sethsbcolor
272 0.000 0.000 0.929 sethsbcolor
273 newpath 294 612 moveto
279 0.000 0.000 1.000 sethsbcolor
280 newpath 294 612 moveto
287 0.000 0.000 0.000 sethsbcolor
289 (Partially specified terms)
290 [13.44 10.56 7.92 6.72 6.72 10.56 6.72 6.72 12 6 9.36 12 10.56 10.56 6.72 7.92 6.72 10.56 12 6 6.72 10.56 7.92 18.72 9.36]
297 0.000 0.000 1.000 sethsbcolor
298 0.000 0.000 0.929 sethsbcolor
299 newpath 400 208 moveto
305 0.000 0.000 1.000 sethsbcolor
306 newpath 400 208 moveto
313 0.000 0.000 0.000 sethsbcolor
315 (Fully specified terms)
316 [13.44 12 6.72 6.72 12 6 9.36 12 10.56 10.56 6.72 7.92 6.72 10.56 12 6 6.72 10.56 7.92 18.72 9.36]
323 0.000 0.000 1.000 sethsbcolor
324 0.000 0.000 0.929 sethsbcolor
325 newpath 782 16 moveto
331 0.000 0.000 1.000 sethsbcolor
332 newpath 782 16 moveto
339 0.000 0.000 0.000 sethsbcolor
342 [17.28 6.72 6.72 6.72 6.72 6.72 6.72 10.56 9.36]
349 900 646 75 25 ellipse_path
354 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
361 873 558 54 25 ellipse_path
366 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
371 % acic_content -> cic_acic
372 newpath 892 621 moveto
373 889 612 886 602 884 593 curveto
378 0.000 0.000 0.000 edgecolor
379 newpath 887 592 moveto
384 0.000 0.000 0.000 edgecolor
385 newpath 887 592 moveto
394 655 454 110 25 ellipse_path
399 [10.56 6.72 10.56 12 12 7.92 12 12 7.92 12 10.56 12 10.56 10.56 12 6.72 12 12]
404 % cic_acic -> cic_proof_checking
405 newpath 848 535 moveto
406 830 520 804 500 778 488 curveto
407 768 483 757 479 746 475 curveto
412 0.000 0.000 0.000 edgecolor
413 newpath 747 472 moveto
418 0.000 0.000 0.000 edgecolor
419 newpath 747 472 moveto
428 900 734 109 25 ellipse_path
433 [10.56 6.72 10.56 12 12 6.72 9.36 10.56 18.72 12 6.72 12 12 10.56 6.72 6.72 12 12]
438 % cic_disambiguation -> acic_content
439 newpath 900 708 moveto
440 900 700 900 691 900 682 curveto
445 0.000 0.000 0.000 edgecolor
446 newpath 904 682 moveto
451 0.000 0.000 0.000 edgecolor
452 newpath 904 682 moveto
461 449 646 86 25 ellipse_path
466 [10.56 6.72 10.56 12 12 12 6.72 7.92 6.72 10.56 10.56 6.72 6.72 12 12]
471 % cic_disambiguation -> cic_unification
472 newpath 816 718 moveto
473 734 702 613 678 532 662 curveto
478 0.000 0.000 0.000 edgecolor
479 newpath 532 659 moveto
484 0.000 0.000 0.000 edgecolor
485 newpath 532 659 moveto
494 467 558 44 25 ellipse_path
499 [17.28 12 10.56 6.72 12]
504 % cic_disambiguation -> whelp
505 newpath 845 712 moveto
506 759 676 594 609 513 577 curveto
511 0.000 0.000 0.000 edgecolor
512 newpath 515 574 moveto
517 0.000 0.000 0.000 edgecolor
518 newpath 515 574 moveto
527 1105 734 76 25 ellipse_path
532 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
537 % content_pres -> acic_content
538 newpath 1058 714 moveto
539 1027 701 988 684 956 670 curveto
544 0.000 0.000 0.000 edgecolor
545 newpath 958 667 moveto
550 0.000 0.000 0.000 edgecolor
551 newpath 958 667 moveto
560 986 366 75 25 ellipse_path
565 [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
570 % content_pres -> utf8_macros
571 newpath 1097 708 moveto
572 1076 644 1021 475 997 401 curveto
577 0.000 0.000 0.000 edgecolor
578 newpath 1000 400 moveto
583 0.000 0.000 0.000 edgecolor
584 newpath 1000 400 moveto
593 972 822 46 25 ellipse_path
598 [12 7.92 10.56 7.92 6.72 6.72 10.56]
603 % grafite -> content_pres
604 newpath 1002 802 moveto
605 1019 791 1042 776 1062 763 curveto
610 0.000 0.000 0.000 edgecolor
611 newpath 1064 766 moveto
616 0.000 0.000 0.000 edgecolor
617 newpath 1064 766 moveto
624 % cic_unification -> cic_proof_checking
625 newpath 482 622 moveto
626 495 613 509 602 521 592 curveto
627 560 558 600 516 626 486 curveto
632 0.000 0.000 0.000 edgecolor
633 newpath 628 489 moveto
638 0.000 0.000 0.000 edgecolor
639 newpath 628 489 moveto
648 443 734 45 25 ellipse_path
653 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
658 % tactics -> cic_unification
659 newpath 445 708 moveto
660 446 700 446 691 447 682 curveto
665 0.000 0.000 0.000 edgecolor
666 newpath 451 682 moveto
671 0.000 0.000 0.000 edgecolor
672 newpath 451 682 moveto
680 newpath 406 719 moveto
681 387 708 364 693 353 672 curveto
682 341 648 337 633 353 612 curveto
683 373 586 394 606 422 592 curveto
684 426 590 430 588 433 585 curveto
689 0.000 0.000 0.000 edgecolor
690 newpath 435 588 moveto
695 0.000 0.000 0.000 edgecolor
696 newpath 435 588 moveto
705 443 822 90 25 ellipse_path
710 [12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
715 % paramodulation -> tactics
716 newpath 443 796 moveto
717 443 788 443 779 443 770 curveto
722 0.000 0.000 0.000 edgecolor
723 newpath 447 770 moveto
728 0.000 0.000 0.000 edgecolor
729 newpath 447 770 moveto
738 562 366 28 25 ellipse_path
750 657 278 70 25 ellipse_path
755 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
761 newpath 582 347 moveto
762 594 336 610 322 624 309 curveto
767 0.000 0.000 0.000 edgecolor
768 newpath 626 312 moveto
773 0.000 0.000 0.000 edgecolor
774 newpath 626 312 moveto
783 843 174 33 25 ellipse_path
794 newpath 556 341 moveto
795 549 306 543 243 577 208 curveto
796 592 192 727 181 799 177 curveto
801 0.000 0.000 0.000 edgecolor
802 newpath 799 180 moveto
807 0.000 0.000 0.000 edgecolor
808 newpath 799 180 moveto
815 % cic_proof_checking -> cic
816 newpath 629 429 moveto
817 617 417 602 404 590 392 curveto
822 0.000 0.000 0.000 edgecolor
823 newpath 592 389 moveto
828 0.000 0.000 0.000 edgecolor
829 newpath 592 389 moveto
838 655 366 42 25 ellipse_path
843 [12 10.56 6.72 6.72 10.56 7.92]
848 % cic_proof_checking -> getter
849 newpath 655 428 moveto
850 655 420 655 411 655 402 curveto
855 0.000 0.000 0.000 edgecolor
856 newpath 659 402 moveto
861 0.000 0.000 0.000 edgecolor
862 newpath 659 402 moveto
869 % getter -> urimanager
870 newpath 656 340 moveto
871 656 332 656 323 656 314 curveto
876 0.000 0.000 0.000 edgecolor
877 newpath 660 314 moveto
882 0.000 0.000 0.000 edgecolor
883 newpath 660 314 moveto
892 843 278 52 25 ellipse_path
897 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
903 newpath 689 350 moveto
904 719 336 763 316 796 300 curveto
909 0.000 0.000 0.000 edgecolor
910 newpath 797 303 moveto
915 0.000 0.000 0.000 edgecolor
916 newpath 797 303 moveto
925 467 454 58 25 ellipse_path
930 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
936 newpath 492 431 moveto
937 505 419 521 404 534 392 curveto
942 0.000 0.000 0.000 edgecolor
943 newpath 537 394 moveto
948 0.000 0.000 0.000 edgecolor
949 newpath 537 394 moveto
957 newpath 511 437 moveto
958 543 424 584 408 600 400 curveto
959 606 397 612 394 617 390 curveto
964 0.000 0.000 0.000 edgecolor
965 newpath 619 393 moveto
970 0.000 0.000 0.000 edgecolor
971 newpath 619 393 moveto
980 841 366 50 25 ellipse_path
985 [12 18.72 12 9.36 12 6.72]
991 newpath 509 436 moveto
992 517 433 526 430 535 428 curveto
993 641 402 675 432 778 400 curveto
994 786 398 793 394 800 391 curveto
999 0.000 0.000 0.000 edgecolor
1000 newpath 802 394 moveto
1005 0.000 0.000 0.000 edgecolor
1006 newpath 802 394 moveto
1014 newpath 467 532 moveto
1015 467 519 467 504 467 490 curveto
1020 0.000 0.000 0.000 edgecolor
1021 newpath 471 490 moveto
1026 0.000 0.000 0.000 edgecolor
1027 newpath 471 490 moveto
1036 843 86 42 25 ellipse_path
1041 [10.56 12 6.72 6.72 6.72 12]
1048 969 278 54 25 ellipse_path
1053 [12 12 12 12 18.72 10.56]
1059 newpath 951 254 moveto
1060 939 239 922 221 905 208 curveto
1061 898 202 889 197 881 192 curveto
1066 0.000 0.000 0.000 edgecolor
1067 newpath 882 189 moveto
1072 0.000 0.000 0.000 edgecolor
1073 newpath 882 189 moveto
1080 % hmysql -> registry
1081 newpath 842 340 moveto
1082 842 332 842 323 842 314 curveto
1087 0.000 0.000 0.000 edgecolor
1088 newpath 846 314 moveto
1093 0.000 0.000 0.000 edgecolor
1094 newpath 846 314 moveto
1102 newpath 843 252 moveto
1103 843 239 843 224 843 210 curveto
1108 0.000 0.000 0.000 edgecolor
1109 newpath 847 210 moveto
1114 0.000 0.000 0.000 edgecolor
1115 newpath 847 210 moveto
1123 newpath 843 148 moveto
1124 843 140 843 131 843 122 curveto
1129 0.000 0.000 0.000 edgecolor
1130 newpath 847 122 moveto
1135 0.000 0.000 0.000 edgecolor
1136 newpath 847 122 moveto
1143 % DependencyAnalyzer
1146 0.584 0.220 0.933 nodecolor
1147 0.584 0.220 0.933 nodecolor
1148 newpath 224 576 moveto
1154 0.584 0.220 0.933 nodecolor
1155 newpath 224 576 moveto
1162 0.000 0.000 0.000 nodecolor
1164 (DependencyAnalyzer)
1165 [17.28 10.56 12 10.56 12 12 10.56 12 10.56 12 17.28 12 10.56 6.72 12 10.56 10.56 7.92]
1170 % DependencyAnalyzer -> metadata
1171 newpath 136 540 moveto
1172 159 523 197 498 233 488 curveto
1173 271 477 371 488 408 480 curveto
1174 412 479 415 478 419 477 curveto
1179 0.000 0.000 0.000 edgecolor
1180 newpath 420 480 moveto
1185 0.000 0.000 0.000 edgecolor
1186 newpath 420 480 moveto
1196 0.584 0.220 0.933 nodecolor
1197 0.584 0.220 0.933 nodecolor
1198 newpath 390 472 moveto
1204 0.584 0.220 0.933 nodecolor
1205 newpath 390 472 moveto
1212 0.000 0.000 0.000 nodecolor
1215 [17.28 10.56 6.72 6.72 10.56 7.92]
1221 newpath 379 436 moveto
1222 384 433 390 430 396 428 curveto
1223 483 397 514 430 600 400 curveto
1224 607 397 613 394 619 391 curveto
1229 0.000 0.000 0.000 edgecolor
1230 newpath 621 394 moveto
1235 0.000 0.000 0.000 edgecolor
1236 newpath 621 394 moveto
1246 0.584 0.220 0.933 nodecolor
1247 0.584 0.220 0.933 nodecolor
1248 newpath 601 936 moveto
1254 0.584 0.220 0.933 nodecolor
1255 newpath 601 936 moveto
1262 0.000 0.000 0.000 nodecolor
1265 [21.36 10.56 6.72 6.72 6.72 10.56]
1270 % Matita -> cic_disambiguation
1271 newpath 559 900 moveto
1272 557 873 556 824 581 796 curveto
1273 646 725 696 745 782 740 curveto
1278 0.000 0.000 0.000 edgecolor
1279 newpath 782 743 moveto
1284 0.000 0.000 0.000 edgecolor
1285 newpath 782 743 moveto
1293 newpath 601 917 moveto
1294 689 915 898 908 925 892 curveto
1295 940 884 950 870 958 856 curveto
1300 0.000 0.000 0.000 edgecolor
1301 newpath 961 858 moveto
1306 0.000 0.000 0.000 edgecolor
1307 newpath 961 858 moveto
1314 % Matita -> paramodulation
1315 newpath 523 913 moveto
1316 496 909 463 902 453 892 curveto
1317 444 883 441 870 440 858 curveto
1322 0.000 0.000 0.000 edgecolor
1323 newpath 444 858 moveto
1328 0.000 0.000 0.000 edgecolor
1329 newpath 444 858 moveto
1339 0.584 0.220 0.933 nodecolor
1340 0.584 0.220 0.933 nodecolor
1341 newpath 392 576 moveto
1347 0.584 0.220 0.933 nodecolor
1348 newpath 392 576 moveto
1355 0.000 0.000 0.000 nodecolor
1358 [13.44 7.92 12 12 7.92 16.08 12 10.56 10.56 12 10.56 7.92]
1363 % ProofChecker -> cic_proof_checking
1364 newpath 331 540 moveto
1365 346 523 369 498 396 488 curveto
1366 425 476 505 484 535 480 curveto
1367 546 478 557 476 568 474 curveto
1372 0.000 0.000 0.000 edgecolor
1373 newpath 569 477 moveto
1378 0.000 0.000 0.000 edgecolor
1379 newpath 569 477 moveto
1389 0.584 0.220 0.933 nodecolor
1390 0.584 0.220 0.933 nodecolor
1391 newpath 774 840 moveto
1397 0.584 0.220 0.933 nodecolor
1398 newpath 774 840 moveto
1405 0.000 0.000 0.000 nodecolor
1408 [17.28 17.28 12 12 12]
1413 % Uwobo -> content_pres
1414 newpath 760 804 moveto
1415 766 801 772 798 778 796 curveto
1416 881 761 914 783 1019 760 curveto
1417 1026 759 1032 757 1039 755 curveto
1422 0.000 0.000 0.000 edgecolor
1423 newpath 1040 758 moveto
1428 0.000 0.000 0.000 edgecolor
1429 newpath 1040 758 moveto
1439 0.584 0.220 0.933 nodecolor
1440 0.584 0.220 0.933 nodecolor
1441 newpath 670 840 moveto
1447 0.584 0.220 0.933 nodecolor
1448 newpath 670 840 moveto
1455 0.000 0.000 0.000 nodecolor
1458 [22.56 12 10.56 6.72 12]
1463 % Whelp -> cic_disambiguation
1464 newpath 662 804 moveto
1465 668 801 673 798 679 796 curveto
1466 722 779 770 764 811 754 curveto
1471 0.000 0.000 0.000 edgecolor
1472 newpath 812 757 moveto
1477 0.000 0.000 0.000 edgecolor
1478 newpath 812 757 moveto
1485 % Whelp -> content_pres
1486 newpath 660 804 moveto
1487 666 801 673 798 679 796 curveto
1488 825 751 871 790 1019 760 curveto
1489 1026 759 1033 757 1040 755 curveto
1494 0.000 0.000 0.000 edgecolor
1495 newpath 1041 758 moveto
1500 0.000 0.000 0.000 edgecolor
1501 newpath 1041 758 moveto