2 %%Creator: dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
3 %%For: (zacchiro) Stefano Zacchiroli,,,
6 %%BoundingBox: 35 35 1258 979
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 1258 979
234 %%PageOrientation: Portrait
236 35 35 1223 944 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 764 488 moveto
253 0.000 0.000 1.000 sethsbcolor
254 newpath 764 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 314 618 moveto
279 0.000 0.000 1.000 sethsbcolor
280 newpath 314 618 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 86 208 moveto
305 0.000 0.000 1.000 sethsbcolor
306 newpath 86 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 468 16 moveto
331 0.000 0.000 1.000 sethsbcolor
332 newpath 468 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 849 652 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 839 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 846 626 moveto
373 845 616 844 605 843 594 curveto
378 0.000 0.000 0.000 edgecolor
379 newpath 846 594 moveto
384 0.000 0.000 0.000 edgecolor
385 newpath 846 594 moveto
394 341 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 820 534 moveto
406 806 518 784 497 760 488 curveto
407 741 480 423 491 361 482 curveto
412 0.000 0.000 0.000 edgecolor
413 newpath 361 479 moveto
418 0.000 0.000 0.000 edgecolor
419 newpath 361 479 moveto
428 1054 740 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 975 722 moveto
440 935 712 890 698 867 684 curveto
445 0.000 0.000 0.000 edgecolor
446 newpath 869 681 moveto
451 0.000 0.000 0.000 edgecolor
452 newpath 869 681 moveto
461 469 652 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 976 722 moveto
473 963 719 948 716 935 714 curveto
474 810 692 777 695 650 678 curveto
475 619 674 586 669 557 665 curveto
480 0.000 0.000 0.000 edgecolor
481 newpath 557 662 moveto
486 0.000 0.000 0.000 edgecolor
487 newpath 557 662 moveto
496 354 558 44 25 ellipse_path
501 [17.28 12 10.56 6.72 12]
506 % cic_disambiguation -> whelp
507 newpath 968 724 moveto
508 968 723 967 723 967 723 curveto
509 965 721 964 721 961 720 curveto
510 932 706 922 708 890 702 curveto
511 835 690 820 691 764 678 curveto
512 676 656 658 637 568 618 curveto
513 524 608 402 620 366 592 curveto
514 366 592 366 592 365 592 curveto
519 0.000 0.000 0.000 edgecolor
520 newpath 368 590 moveto
525 0.000 0.000 0.000 edgecolor
526 newpath 368 590 moveto
535 849 740 76 25 ellipse_path
540 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
545 % content_pres -> acic_content
546 newpath 849 714 moveto
547 849 706 849 697 849 688 curveto
552 0.000 0.000 0.000 edgecolor
553 newpath 853 688 moveto
558 0.000 0.000 0.000 edgecolor
559 newpath 853 688 moveto
568 881 828 46 25 ellipse_path
573 [12 7.92 10.56 7.92 6.72 6.72 10.56]
578 % grafite -> content_pres
579 newpath 872 803 moveto
580 868 794 865 784 861 775 curveto
585 0.000 0.000 0.000 edgecolor
586 newpath 864 774 moveto
591 0.000 0.000 0.000 edgecolor
592 newpath 864 774 moveto
599 % cic_unification -> cic_proof_checking
600 newpath 552 644 moveto
601 622 636 714 620 736 592 curveto
602 765 555 769 521 736 488 curveto
603 731 482 606 483 598 483 curveto
604 563 482 555 482 519 482 curveto
605 503 481 389 482 372 481 curveto
606 372 481 372 481 372 481 curveto
611 0.000 0.000 0.000 edgecolor
612 newpath 376 478 moveto
617 0.000 0.000 0.000 edgecolor
618 newpath 376 478 moveto
627 463 740 45 25 ellipse_path
632 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
637 % tactics -> cic_unification
638 newpath 465 714 moveto
639 466 706 466 697 467 688 curveto
644 0.000 0.000 0.000 edgecolor
645 newpath 471 688 moveto
650 0.000 0.000 0.000 edgecolor
651 newpath 471 688 moveto
659 newpath 427 724 moveto
660 408 714 386 698 373 678 curveto
661 357 653 353 620 353 594 curveto
666 0.000 0.000 0.000 edgecolor
667 newpath 357 594 moveto
672 0.000 0.000 0.000 edgecolor
673 newpath 357 594 moveto
682 463 828 90 25 ellipse_path
687 [12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
692 % paramodulation -> tactics
693 newpath 463 802 moveto
694 463 794 463 785 463 776 curveto
699 0.000 0.000 0.000 edgecolor
700 newpath 467 776 moveto
705 0.000 0.000 0.000 edgecolor
706 newpath 467 776 moveto
715 248 366 28 25 ellipse_path
727 343 278 70 25 ellipse_path
732 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
738 newpath 268 347 moveto
739 280 336 296 322 310 309 curveto
744 0.000 0.000 0.000 edgecolor
745 newpath 312 312 moveto
750 0.000 0.000 0.000 edgecolor
751 newpath 312 312 moveto
760 529 174 33 25 ellipse_path
771 newpath 242 341 moveto
772 235 306 229 243 263 208 curveto
773 278 192 413 181 485 177 curveto
778 0.000 0.000 0.000 edgecolor
779 newpath 485 180 moveto
784 0.000 0.000 0.000 edgecolor
785 newpath 485 180 moveto
792 % cic_proof_checking -> cic
793 newpath 315 429 moveto
794 303 417 288 404 276 392 curveto
799 0.000 0.000 0.000 edgecolor
800 newpath 278 389 moveto
805 0.000 0.000 0.000 edgecolor
806 newpath 278 389 moveto
815 341 366 42 25 ellipse_path
820 [12 10.56 6.72 6.72 10.56 7.92]
825 % cic_proof_checking -> getter
826 newpath 341 428 moveto
827 341 420 341 411 341 402 curveto
832 0.000 0.000 0.000 edgecolor
833 newpath 345 402 moveto
838 0.000 0.000 0.000 edgecolor
839 newpath 345 402 moveto
846 % getter -> urimanager
847 newpath 342 340 moveto
848 342 332 342 323 342 314 curveto
853 0.000 0.000 0.000 edgecolor
854 newpath 346 314 moveto
859 0.000 0.000 0.000 edgecolor
860 newpath 346 314 moveto
869 529 278 52 25 ellipse_path
874 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
880 newpath 375 350 moveto
881 405 336 449 316 482 300 curveto
886 0.000 0.000 0.000 edgecolor
887 newpath 483 303 moveto
892 0.000 0.000 0.000 edgecolor
893 newpath 483 303 moveto
902 153 454 58 25 ellipse_path
907 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
913 newpath 178 431 moveto
914 191 419 207 404 220 392 curveto
919 0.000 0.000 0.000 edgecolor
920 newpath 223 394 moveto
925 0.000 0.000 0.000 edgecolor
926 newpath 223 394 moveto
934 newpath 197 437 moveto
935 229 424 270 408 286 400 curveto
936 292 397 298 394 303 390 curveto
941 0.000 0.000 0.000 edgecolor
942 newpath 305 393 moveto
947 0.000 0.000 0.000 edgecolor
948 newpath 305 393 moveto
957 528 366 50 25 ellipse_path
962 [12 18.72 12 9.36 12 6.72]
968 newpath 195 436 moveto
969 203 433 212 430 221 428 curveto
970 327 402 361 432 464 400 curveto
971 472 397 479 394 487 390 curveto
976 0.000 0.000 0.000 edgecolor
977 newpath 488 393 moveto
982 0.000 0.000 0.000 edgecolor
983 newpath 488 393 moveto
991 newpath 320 541 moveto
992 287 523 237 497 200 479 curveto
997 0.000 0.000 0.000 edgecolor
998 newpath 201 476 moveto
1003 0.000 0.000 0.000 edgecolor
1004 newpath 201 476 moveto
1013 529 86 42 25 ellipse_path
1018 [10.56 12 6.72 6.72 6.72 12]
1025 655 278 54 25 ellipse_path
1030 [12 12 12 12 18.72 10.56]
1036 newpath 637 254 moveto
1037 625 239 608 221 591 208 curveto
1038 584 202 575 197 567 192 curveto
1043 0.000 0.000 0.000 edgecolor
1044 newpath 568 189 moveto
1049 0.000 0.000 0.000 edgecolor
1050 newpath 568 189 moveto
1057 % hmysql -> registry
1058 newpath 528 340 moveto
1059 528 332 529 323 529 314 curveto
1064 0.000 0.000 0.000 edgecolor
1065 newpath 533 314 moveto
1070 0.000 0.000 0.000 edgecolor
1071 newpath 533 314 moveto
1079 newpath 529 252 moveto
1080 529 239 529 224 529 210 curveto
1085 0.000 0.000 0.000 edgecolor
1086 newpath 533 210 moveto
1091 0.000 0.000 0.000 edgecolor
1092 newpath 533 210 moveto
1100 newpath 529 148 moveto
1101 529 140 529 131 529 122 curveto
1106 0.000 0.000 0.000 edgecolor
1107 newpath 533 122 moveto
1112 0.000 0.000 0.000 edgecolor
1113 newpath 533 122 moveto
1120 % DependencyAnalyzer
1123 0.584 0.220 0.933 nodecolor
1124 0.584 0.220 0.933 nodecolor
1125 newpath 604 590 moveto
1131 0.584 0.220 0.933 nodecolor
1132 newpath 604 590 moveto
1139 0.000 0.000 0.000 nodecolor
1142 [17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
1146 [17.28 12 10.56 6.72 12 10.56 10.56 7.92]
1151 % DependencyAnalyzer -> metadata
1152 newpath 513 526 moveto
1153 500 511 483 496 464 488 curveto
1154 440 477 248 485 221 480 curveto
1155 216 479 210 477 205 475 curveto
1160 0.000 0.000 0.000 edgecolor
1161 newpath 206 472 moveto
1166 0.000 0.000 0.000 edgecolor
1167 newpath 206 472 moveto
1177 0.584 0.220 0.933 nodecolor
1178 0.584 0.220 0.933 nodecolor
1179 newpath 76 472 moveto
1185 0.584 0.220 0.933 nodecolor
1186 newpath 76 472 moveto
1193 0.000 0.000 0.000 nodecolor
1196 [17.28 10.56 6.72 6.72 10.56 7.92]
1202 newpath 65 436 moveto
1203 70 433 76 430 82 428 curveto
1204 169 397 200 430 286 400 curveto
1205 293 397 299 394 305 391 curveto
1210 0.000 0.000 0.000 edgecolor
1211 newpath 307 394 moveto
1216 0.000 0.000 0.000 edgecolor
1217 newpath 307 394 moveto
1227 0.584 0.220 0.933 nodecolor
1228 0.584 0.220 0.933 nodecolor
1229 newpath 990 942 moveto
1235 0.584 0.220 0.933 nodecolor
1236 newpath 990 942 moveto
1243 0.000 0.000 0.000 nodecolor
1246 [21.36 10.56 6.72 6.72 6.72 10.56]
1251 % Matita -> cic_disambiguation
1252 newpath 961 906 moveto
1253 978 875 1012 813 1035 775 curveto
1258 0.000 0.000 0.000 edgecolor
1259 newpath 1038 776 moveto
1264 0.000 0.000 0.000 edgecolor
1265 newpath 1038 776 moveto
1273 newpath 912 914 moveto
1274 904 910 896 905 891 898 curveto
1275 883 889 880 876 879 864 curveto
1280 0.000 0.000 0.000 edgecolor
1281 newpath 883 864 moveto
1286 0.000 0.000 0.000 edgecolor
1287 newpath 883 864 moveto
1294 % Matita -> paramodulation
1295 newpath 912 923 moveto
1296 801 921 489 912 473 898 curveto
1297 464 889 460 877 459 864 curveto
1302 0.000 0.000 0.000 edgecolor
1303 newpath 463 864 moveto
1308 0.000 0.000 0.000 edgecolor
1309 newpath 463 864 moveto
1317 newpath 990 922 moveto
1318 1056 919 1183 912 1197 898 curveto
1319 1221 872 1211 775 1211 740 curveto
1320 1211 740 1211 740 1211 454 curveto
1321 1211 351 865 301 719 284 curveto
1326 0.000 0.000 0.000 edgecolor
1327 newpath 719 281 moveto
1332 0.000 0.000 0.000 edgecolor
1333 newpath 719 281 moveto
1343 0.584 0.220 0.933 nodecolor
1344 0.584 0.220 0.933 nodecolor
1345 newpath 718 590 moveto
1351 0.584 0.220 0.933 nodecolor
1352 newpath 718 590 moveto
1359 0.000 0.000 0.000 nodecolor
1362 [13.44 7.92 12 12 7.92]
1366 [16.08 12 10.56 10.56 12 10.56 7.92]
1371 % ProofChecker -> cic_proof_checking
1372 newpath 653 526 moveto
1373 643 511 630 496 613 488 curveto
1374 589 476 409 493 360 483 curveto
1379 0.000 0.000 0.000 edgecolor
1380 newpath 362 480 moveto
1385 0.000 0.000 0.000 edgecolor
1386 newpath 362 480 moveto
1396 0.584 0.220 0.933 nodecolor
1397 0.584 0.220 0.933 nodecolor
1398 newpath 658 846 moveto
1404 0.584 0.220 0.933 nodecolor
1405 newpath 658 846 moveto
1412 0.000 0.000 0.000 nodecolor
1415 [17.28 17.28 12 12 12]
1420 % Uwobo -> content_pres
1421 newpath 649 810 moveto
1422 655 807 661 804 667 802 curveto
1423 704 786 748 772 782 760 curveto
1428 0.000 0.000 0.000 edgecolor
1429 newpath 783 763 moveto
1434 0.000 0.000 0.000 edgecolor
1435 newpath 783 763 moveto
1445 0.584 0.220 0.933 nodecolor
1446 0.584 0.220 0.933 nodecolor
1447 newpath 756 846 moveto
1453 0.584 0.220 0.933 nodecolor
1454 newpath 756 846 moveto
1461 0.000 0.000 0.000 nodecolor
1464 [22.56 12 10.56 6.72 12]
1469 % Whelp -> cic_disambiguation
1470 newpath 743 810 moveto
1471 749 807 754 804 760 802 curveto
1472 835 773 858 782 935 766 curveto
1473 944 764 954 762 963 759 curveto
1478 0.000 0.000 0.000 edgecolor
1479 newpath 964 762 moveto
1484 0.000 0.000 0.000 edgecolor
1485 newpath 964 762 moveto
1492 % Whelp -> content_pres
1493 newpath 743 810 moveto
1494 761 798 785 782 805 769 curveto
1499 0.000 0.000 0.000 edgecolor
1500 newpath 808 771 moveto
1505 0.000 0.000 0.000 edgecolor
1506 newpath 808 771 moveto