%!PS-Adobe-2.0
%%Creator: dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
-%%For: (zacchiro) Stefano Zacchiroli,,,
+%%For: (sacerdot) Claudio Sacerdoti Coen,,,
%%Title: G
%%Pages: (atend)
-%%BoundingBox: 35 35 1258 979
+%%BoundingBox: 35 35 933 1263
%%EndComments
save
%%BeginProlog
%%EndSetup
%%Page: 1 1
-%%PageBoundingBox: 36 36 1258 979
+%%PageBoundingBox: 36 36 933 1263
%%PageOrientation: Portrait
gsave
-35 35 1223 944 boxprim clip newpath
+35 35 898 1228 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0 0 translate 0 rotate
filled
0.000 0.000 1.000 sethsbcolor
0.000 0.000 0.929 sethsbcolor
-newpath 764 488 moveto
-1193 488 lineto
-1193 862 lineto
-764 862 lineto
+newpath 436 778 moveto
+865 778 lineto
+865 1162 lineto
+436 1162 lineto
closepath
fill
0.000 0.000 1.000 sethsbcolor
-newpath 764 488 moveto
-1193 488 lineto
-1193 862 lineto
-764 862 lineto
+newpath 436 778 moveto
+865 778 lineto
+865 1162 lineto
+436 1162 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 sethsbcolor
-772 498 moveto
+444 788 moveto
(Terms at the content and presentation level)
[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]
xshow
filled
0.000 0.000 1.000 sethsbcolor
0.000 0.000 0.929 sethsbcolor
-newpath 314 618 moveto
-564 618 lineto
-564 898 lineto
-314 898 lineto
+newpath 84 814 moveto
+334 814 lineto
+334 1094 lineto
+84 1094 lineto
closepath
fill
0.000 0.000 1.000 sethsbcolor
-newpath 314 618 moveto
-564 618 lineto
-564 898 lineto
-314 898 lineto
+newpath 84 814 moveto
+334 814 lineto
+334 1094 lineto
+84 1094 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 sethsbcolor
-322 872 moveto
+92 1068 moveto
(Partially specified terms)
[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]
xshow
filled
0.000 0.000 1.000 sethsbcolor
0.000 0.000 0.929 sethsbcolor
-newpath 86 208 moveto
-460 208 lineto
-460 592 lineto
-86 592 lineto
+newpath 220 296 moveto
+482 296 lineto
+482 770 lineto
+220 770 lineto
closepath
fill
0.000 0.000 1.000 sethsbcolor
-newpath 86 208 moveto
-460 208 lineto
-460 592 lineto
-86 592 lineto
+newpath 220 296 moveto
+482 296 lineto
+482 770 lineto
+220 770 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 sethsbcolor
-93 218 moveto
+227 306 moveto
(Fully specified terms)
[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]
xshow
filled
0.000 0.000 1.000 sethsbcolor
0.000 0.000 0.929 sethsbcolor
-newpath 468 16 moveto
-718 16 lineto
-718 400 lineto
-468 400 lineto
+newpath 490 16 moveto
+888 16 lineto
+888 400 lineto
+490 400 lineto
closepath
fill
0.000 0.000 1.000 sethsbcolor
-newpath 468 16 moveto
-718 16 lineto
-718 400 lineto
-468 400 lineto
+newpath 490 16 moveto
+888 16 lineto
+888 400 lineto
+490 400 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 sethsbcolor
-632 26 moveto
+802 26 moveto
(Utilities)
[17.28 6.72 6.72 6.72 6.72 6.72 6.72 10.56 9.36]
xshow
% acic_content
gsave 10 dict begin
-849 652 75 25 ellipse_path
+554 848 75 25 ellipse_path
stroke
gsave 10 dict begin
-788 644 moveto
+493 840 moveto
(acic_content)
[10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
xshow
% cic_acic
gsave 10 dict begin
-839 558 54 25 ellipse_path
+283 636 54 25 ellipse_path
stroke
gsave 10 dict begin
-799 550 moveto
+243 628 moveto
(cic_acic)
[10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
xshow
end grestore
% acic_content -> cic_acic
-newpath 846 626 moveto
-845 616 844 605 843 594 curveto
+newpath 530 824 moveto
+517 809 500 789 487 770 curveto
+470 742 482 725 458 704 curveto
+420 669 395 687 347 668 curveto
+341 665 335 663 329 660 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 846 594 moveto
-842 584 lineto
-840 594 lineto
+newpath 330 657 moveto
+320 655 lineto
+327 663 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 846 594 moveto
-842 584 lineto
-840 594 lineto
+newpath 330 657 moveto
+320 655 lineto
+327 663 lineto
closepath
stroke
end grestore
-% cic_proof_checking
+% cic_disambiguation
gsave 10 dict begin
-341 454 110 25 ellipse_path
+554 936 109 25 ellipse_path
stroke
gsave 10 dict begin
-245 446 moveto
-(cic_proof_checking)
-[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]
+459 928 moveto
+(cic_disambiguation)
+[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]
xshow
end grestore
end grestore
-% cic_acic -> cic_proof_checking
-newpath 820 534 moveto
-806 518 784 497 760 488 curveto
-741 480 423 491 361 482 curveto
+% cic_disambiguation -> acic_content
+newpath 554 910 moveto
+554 902 554 893 554 884 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 361 479 moveto
-351 480 lineto
-360 485 lineto
+newpath 558 884 moveto
+554 874 lineto
+551 884 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 361 479 moveto
-351 480 lineto
-360 485 lineto
+newpath 558 884 moveto
+554 874 lineto
+551 884 lineto
closepath
stroke
end grestore
-% cic_disambiguation
+% cic_unification
gsave 10 dict begin
-1054 740 109 25 ellipse_path
+239 848 86 25 ellipse_path
stroke
gsave 10 dict begin
-959 732 moveto
-(cic_disambiguation)
-[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]
+167 840 moveto
+(cic_unification)
+[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]
xshow
end grestore
end grestore
-% cic_disambiguation -> acic_content
-newpath 975 722 moveto
-935 712 890 698 867 684 curveto
+% cic_disambiguation -> cic_unification
+newpath 484 916 moveto
+433 902 364 883 312 869 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 869 681 moveto
-859 678 lineto
-865 687 lineto
+newpath 313 866 moveto
+302 866 lineto
+311 872 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 869 681 moveto
-859 678 lineto
-865 687 lineto
+newpath 313 866 moveto
+302 866 lineto
+311 872 lineto
closepath
stroke
end grestore
-% cic_unification
+% whelp
gsave 10 dict begin
-469 652 86 25 ellipse_path
+404 736 44 25 ellipse_path
stroke
gsave 10 dict begin
-397 644 moveto
-(cic_unification)
-[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]
+374 728 moveto
+(whelp)
+[17.28 12 10.56 6.72 12]
xshow
end grestore
end grestore
-% cic_disambiguation -> cic_unification
-newpath 976 722 moveto
-963 719 948 716 935 714 curveto
-810 692 777 695 650 678 curveto
-619 674 586 669 557 665 curveto
+% cic_disambiguation -> whelp
+newpath 513 912 moveto
+498 902 481 889 469 874 curveto
+444 843 426 801 415 771 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 557 662 moveto
-547 663 lineto
-556 668 lineto
+newpath 418 770 moveto
+412 761 lineto
+412 772 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 557 662 moveto
-547 663 lineto
-556 668 lineto
+newpath 418 770 moveto
+412 761 lineto
+412 772 lineto
closepath
stroke
end grestore
-% whelp
+% content_pres
gsave 10 dict begin
-354 558 44 25 ellipse_path
+759 936 76 25 ellipse_path
stroke
gsave 10 dict begin
-324 550 moveto
-(whelp)
-[17.28 12 10.56 6.72 12]
+697 928 moveto
+(content_pres)
+[10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
xshow
end grestore
end grestore
-% cic_disambiguation -> whelp
-newpath 968 724 moveto
-968 723 967 723 967 723 curveto
-965 721 964 721 961 720 curveto
-932 706 922 708 890 702 curveto
-835 690 820 691 764 678 curveto
-676 656 658 637 568 618 curveto
-524 608 402 620 366 592 curveto
-366 592 366 592 365 592 curveto
+% content_pres -> acic_content
+newpath 712 916 moveto
+681 903 642 886 610 872 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 368 590 moveto
-360 583 lineto
-362 593 lineto
+newpath 612 869 moveto
+601 868 lineto
+609 875 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 368 590 moveto
-360 583 lineto
-362 593 lineto
+newpath 612 869 moveto
+601 868 lineto
+609 875 lineto
closepath
stroke
end grestore
-% content_pres
+% utf8_macros
gsave 10 dict begin
-849 740 76 25 ellipse_path
+804 366 75 25 ellipse_path
stroke
gsave 10 dict begin
-787 732 moveto
-(content_pres)
-[10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
+743 358 moveto
+(utf8_macros)
+[12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
xshow
end grestore
end grestore
-% content_pres -> acic_content
-newpath 849 714 moveto
-849 706 849 697 849 688 curveto
+% content_pres -> utf8_macros
+newpath 764 910 moveto
+770 872 781 799 781 736 curveto
+781 736 781 736 781 542 curveto
+781 493 790 437 797 401 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 853 688 moveto
-849 678 lineto
-846 688 lineto
+newpath 800 401 moveto
+799 391 lineto
+794 400 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 853 688 moveto
-849 678 lineto
-846 688 lineto
+newpath 800 401 moveto
+799 391 lineto
+794 400 lineto
+closepath
+stroke
+end grestore
+
+% grafite_parser
+gsave 10 dict begin
+526 1128 81 25 ellipse_path
+stroke
+gsave 10 dict begin
+459 1120 moveto
+(grafite_parser)
+[12 7.92 10.56 7.92 6.72 6.72 10.56 12 12 10.56 7.92 9.36 10.56 7.92]
+xshow
+end grestore
+end grestore
+
+% lexicon
+gsave 10 dict begin
+554 1024 50 25 ellipse_path
+stroke
+gsave 10 dict begin
+518 1016 moveto
+(lexicon)
+[6.72 10.56 12 6.72 10.56 12 12]
+xshow
+end grestore
+end grestore
+
+% grafite_parser -> lexicon
+newpath 533 1103 moveto
+536 1090 541 1074 545 1059 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 548 1059 moveto
+547 1049 lineto
+542 1058 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 548 1059 moveto
+547 1049 lineto
+542 1058 lineto
closepath
stroke
end grestore
% grafite
gsave 10 dict begin
-881 828 46 25 ellipse_path
+139 936 46 25 ellipse_path
stroke
gsave 10 dict begin
-849 820 moveto
+107 928 moveto
(grafite)
[12 7.92 10.56 7.92 6.72 6.72 10.56]
xshow
end grestore
end grestore
-% grafite -> content_pres
-newpath 872 803 moveto
-868 794 865 784 861 775 curveto
+% grafite_parser -> grafite
+newpath 472 1108 moveto
+463 1106 453 1103 444 1102 curveto
+430 1099 324 1102 312 1094 curveto
+276 1066 309 1031 277 998 curveto
+250 968 231 980 195 962 curveto
+192 960 189 958 186 956 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 188 953 moveto
+178 950 lineto
+184 959 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 188 953 moveto
+178 950 lineto
+184 959 lineto
+closepath
+stroke
+end grestore
+
+% lexicon -> cic_disambiguation
+newpath 554 998 moveto
+554 990 554 981 554 972 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 558 972 moveto
+554 962 lineto
+551 972 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 558 972 moveto
+554 962 lineto
+551 972 lineto
+closepath
+stroke
+end grestore
+
+% lexicon -> content_pres
+newpath 593 1007 moveto
+624 994 668 976 702 960 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 864 774 moveto
-858 765 lineto
-858 776 lineto
+newpath 704 963 moveto
+712 956 lineto
+701 956 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 864 774 moveto
-858 765 lineto
-858 776 lineto
+newpath 704 963 moveto
+712 956 lineto
+701 956 lineto
closepath
stroke
end grestore
-% cic_unification -> cic_proof_checking
-newpath 552 644 moveto
-622 636 714 620 736 592 curveto
-765 555 769 521 736 488 curveto
-731 482 606 483 598 483 curveto
-563 482 555 482 519 482 curveto
-503 481 389 482 372 481 curveto
-372 481 372 481 372 481 curveto
+% library
+gsave 10 dict begin
+283 736 46 25 ellipse_path
+stroke
+gsave 10 dict begin
+251 728 moveto
+(library)
+[6.72 6.72 12 7.92 10.56 7.92 12]
+xshow
+end grestore
+end grestore
+
+% cic_unification -> library
+newpath 249 823 moveto
+255 808 263 788 269 771 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 376 478 moveto
-365 479 lineto
-374 485 lineto
+newpath 273 772 moveto
+273 761 lineto
+266 769 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 376 478 moveto
-365 479 lineto
-374 485 lineto
+newpath 273 772 moveto
+273 761 lineto
+266 769 lineto
closepath
stroke
end grestore
% tactics
gsave 10 dict begin
-463 740 45 25 ellipse_path
+250 936 45 25 ellipse_path
stroke
gsave 10 dict begin
-432 732 moveto
+219 928 moveto
(tactics)
[6.72 10.56 10.56 6.72 6.72 10.56 9.36]
xshow
end grestore
% tactics -> cic_unification
-newpath 465 714 moveto
-466 706 466 697 467 688 curveto
+newpath 247 911 moveto
+246 902 245 893 244 884 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 471 688 moveto
-467 678 lineto
-464 688 lineto
+newpath 247 883 moveto
+242 874 lineto
+241 884 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 471 688 moveto
-467 678 lineto
-464 688 lineto
+newpath 247 883 moveto
+242 874 lineto
+241 884 lineto
closepath
stroke
end grestore
% tactics -> whelp
-newpath 427 724 moveto
-408 714 386 698 373 678 curveto
-357 653 353 620 353 594 curveto
+newpath 216 918 moveto
+187 903 147 881 143 874 curveto
+122 837 114 808 143 778 curveto
+159 762 318 775 339 770 curveto
+348 768 357 764 365 760 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 357 594 moveto
-353 584 lineto
-350 594 lineto
+newpath 367 763 moveto
+374 755 lineto
+364 757 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 357 594 moveto
-353 584 lineto
-350 594 lineto
+newpath 367 763 moveto
+374 755 lineto
+364 757 lineto
closepath
stroke
end grestore
-% paramodulation
+% cic
gsave 10 dict begin
-463 828 90 25 ellipse_path
+339 454 28 25 ellipse_path
stroke
gsave 10 dict begin
-387 820 moveto
-(paramodulation)
-[12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
+325 446 moveto
+(cic)
+[10.56 6.72 10.56]
xshow
end grestore
end grestore
-% paramodulation -> tactics
-newpath 463 802 moveto
-463 794 463 785 463 776 curveto
+% grafite -> cic
+newpath 128 911 moveto
+112 874 86 800 86 736 curveto
+86 736 86 736 86 636 curveto
+86 556 150 554 219 516 curveto
+258 495 274 502 310 480 curveto
+310 480 311 480 311 479 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 467 776 moveto
-463 766 lineto
-460 776 lineto
+newpath 313 482 moveto
+319 473 lineto
+309 476 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 467 776 moveto
-463 766 lineto
-460 776 lineto
+newpath 313 482 moveto
+319 473 lineto
+309 476 lineto
closepath
stroke
end grestore
-% cic
+% grafite_engine
gsave 10 dict begin
-248 366 28 25 ellipse_path
+183 1024 84 25 ellipse_path
stroke
gsave 10 dict begin
-234 358 moveto
-(cic)
-[10.56 6.72 10.56]
+113 1016 moveto
+(grafite_engine)
+[12 7.92 10.56 7.92 6.72 6.72 10.56 12 10.56 12 12 6.72 12 10.56]
xshow
end grestore
end grestore
+% grafite_engine -> tactics
+newpath 193 998 moveto
+200 986 210 975 219 965 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 221 968 moveto
+226 958 lineto
+216 963 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 221 968 moveto
+226 958 lineto
+216 963 lineto
+closepath
+stroke
+end grestore
+
+% grafite_engine -> grafite
+newpath 170 999 moveto
+165 990 160 980 156 970 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 159 968 moveto
+151 961 lineto
+153 971 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 159 968 moveto
+151 961 lineto
+153 971 lineto
+closepath
+stroke
+end grestore
+
% urimanager
gsave 10 dict begin
-343 278 70 25 ellipse_path
+355 366 70 25 ellipse_path
stroke
gsave 10 dict begin
-287 270 moveto
+299 358 moveto
(urimanager)
[12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
xshow
end grestore
% cic -> urimanager
-newpath 268 347 moveto
-280 336 296 322 310 309 curveto
+newpath 344 429 moveto
+345 420 347 411 348 402 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 312 312 moveto
-317 302 lineto
-307 307 lineto
+newpath 351 402 moveto
+350 392 lineto
+345 401 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 312 312 moveto
-317 302 lineto
-307 307 lineto
+newpath 351 402 moveto
+350 392 lineto
+345 401 lineto
closepath
stroke
end grestore
% xml
gsave 10 dict begin
-529 174 33 25 ellipse_path
+553 174 33 25 ellipse_path
stroke
gsave 10 dict begin
-510 166 moveto
+534 166 moveto
(xml)
[12 18.72 6.72]
xshow
end grestore
% cic -> xml
-newpath 242 341 moveto
-235 306 229 243 263 208 curveto
-278 192 413 181 485 177 curveto
+newpath 314 440 moveto
+300 431 283 417 275 400 curveto
+256 358 250 334 275 296 curveto
+327 216 445 188 509 178 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 485 180 moveto
-495 176 lineto
-485 174 lineto
+newpath 509 181 moveto
+519 177 lineto
+509 175 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 485 180 moveto
-495 176 lineto
-485 174 lineto
+newpath 509 181 moveto
+519 177 lineto
+509 175 lineto
closepath
stroke
end grestore
+% cic_proof_checking
+gsave 10 dict begin
+339 542 110 25 ellipse_path
+stroke
+gsave 10 dict begin
+243 534 moveto
+(cic_proof_checking)
+[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]
+xshow
+end grestore
+end grestore
+
% cic_proof_checking -> cic
-newpath 315 429 moveto
-303 417 288 404 276 392 curveto
+newpath 339 516 moveto
+339 508 339 499 339 490 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 278 389 moveto
-268 385 lineto
-273 394 lineto
+newpath 343 490 moveto
+339 480 lineto
+336 490 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 278 389 moveto
-268 385 lineto
-273 394 lineto
+newpath 343 490 moveto
+339 480 lineto
+336 490 lineto
closepath
stroke
end grestore
% getter
gsave 10 dict begin
-341 366 42 25 ellipse_path
+431 454 42 25 ellipse_path
stroke
gsave 10 dict begin
-313 358 moveto
+403 446 moveto
(getter)
[12 10.56 6.72 6.72 10.56 7.92]
xshow
end grestore
% cic_proof_checking -> getter
-newpath 341 428 moveto
-341 420 341 411 341 402 curveto
+newpath 349 516 moveto
+361 501 377 487 391 477 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 345 402 moveto
-341 392 lineto
-338 402 lineto
+newpath 393 480 moveto
+400 472 lineto
+390 474 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 345 402 moveto
-341 392 lineto
-338 402 lineto
+newpath 393 480 moveto
+400 472 lineto
+390 474 lineto
closepath
stroke
end grestore
% getter -> urimanager
-newpath 342 340 moveto
-342 332 342 323 342 314 curveto
+newpath 411 431 moveto
+403 421 392 409 383 398 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 346 314 moveto
-342 304 lineto
-339 314 lineto
+newpath 386 396 moveto
+376 391 lineto
+381 401 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 346 314 moveto
-342 304 lineto
-339 314 lineto
+newpath 386 396 moveto
+376 391 lineto
+381 401 lineto
closepath
stroke
end grestore
% registry
gsave 10 dict begin
-529 278 52 25 ellipse_path
+679 262 52 25 ellipse_path
stroke
gsave 10 dict begin
-491 270 moveto
+641 254 moveto
(registry)
[7.92 10.56 12 6.72 9.36 6.72 7.92 12]
xshow
end grestore
% getter -> registry
-newpath 375 350 moveto
-405 336 449 316 482 300 curveto
+newpath 432 428 moveto
+436 392 448 327 489 296 curveto
+501 287 604 291 617 288 curveto
+622 287 627 285 631 284 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 483 303 moveto
-491 296 lineto
-480 297 lineto
+newpath 633 287 moveto
+641 280 lineto
+630 280 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 483 303 moveto
-491 296 lineto
-480 297 lineto
+newpath 633 287 moveto
+641 280 lineto
+630 280 lineto
closepath
stroke
end grestore
-% metadata
+% logger
gsave 10 dict begin
-153 454 58 25 ellipse_path
+544 366 45 25 ellipse_path
stroke
gsave 10 dict begin
-109 446 moveto
-(metadata)
-[18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
+513 358 moveto
+(logger)
+[6.72 12 12 12 10.56 7.92]
xshow
end grestore
end grestore
-% metadata -> cic
-newpath 178 431 moveto
-191 419 207 404 220 392 curveto
+% getter -> logger
+newpath 457 434 moveto
+472 422 492 406 509 393 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 223 394 moveto
-228 385 lineto
-218 389 lineto
+newpath 511 396 moveto
+517 387 lineto
+507 390 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 223 394 moveto
-228 385 lineto
-218 389 lineto
+newpath 511 396 moveto
+517 387 lineto
+507 390 lineto
closepath
stroke
end grestore
-% metadata -> getter
-newpath 197 437 moveto
-229 424 270 408 286 400 curveto
-292 397 298 394 303 390 curveto
+% metadata
+gsave 10 dict begin
+415 636 58 25 ellipse_path
+stroke
+gsave 10 dict begin
+371 628 moveto
+(metadata)
+[18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
+xshow
+end grestore
+end grestore
+
+% metadata -> cic
+newpath 436 612 moveto
+456 586 479 546 459 516 curveto
+438 483 414 498 379 480 curveto
+376 478 374 477 371 475 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 305 393 moveto
-312 385 lineto
-302 387 lineto
+newpath 372 472 moveto
+362 469 lineto
+368 477 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 305 393 moveto
-312 385 lineto
-302 387 lineto
+newpath 372 472 moveto
+362 469 lineto
+368 477 lineto
closepath
stroke
end grestore
% hmysql
gsave 10 dict begin
-528 366 50 25 ellipse_path
+659 366 50 25 ellipse_path
stroke
gsave 10 dict begin
-492 358 moveto
+623 358 moveto
(hmysql)
[12 18.72 12 9.36 12 6.72]
xshow
end grestore
% metadata -> hmysql
-newpath 195 436 moveto
-203 433 212 430 221 428 curveto
-327 402 361 432 464 400 curveto
-472 397 479 394 487 390 curveto
+newpath 470 626 moveto
+531 616 569 623 617 568 curveto
+658 521 662 446 661 402 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 488 393 moveto
-496 386 lineto
-485 387 lineto
+newpath 665 402 moveto
+661 392 lineto
+658 402 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 488 393 moveto
-496 386 lineto
-485 387 lineto
+newpath 665 402 moveto
+661 392 lineto
+658 402 lineto
closepath
stroke
end grestore
% whelp -> metadata
-newpath 320 541 moveto
-287 523 237 497 200 479 curveto
+newpath 407 711 moveto
+409 699 410 685 411 672 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 414 672 moveto
+412 662 lineto
+408 672 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 414 672 moveto
+412 662 lineto
+408 672 lineto
+closepath
+stroke
+end grestore
+
+% library -> metadata
+newpath 311 715 moveto
+330 701 356 681 377 664 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 379 667 moveto
+385 658 lineto
+375 661 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 379 667 moveto
+385 658 lineto
+375 661 lineto
+closepath
+stroke
+end grestore
+
+% library -> cic_acic
+newpath 283 710 moveto
+283 698 283 685 283 672 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 287 672 moveto
+283 662 lineto
+280 672 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 287 672 moveto
+283 662 lineto
+280 672 lineto
+closepath
+stroke
+end grestore
+
+% cic_acic -> cic_proof_checking
+newpath 298 611 moveto
+304 600 312 587 319 576 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 201 476 moveto
-191 474 lineto
-198 482 lineto
+newpath 322 577 moveto
+324 567 lineto
+316 574 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 201 476 moveto
-191 474 lineto
-198 482 lineto
+newpath 322 577 moveto
+324 567 lineto
+316 574 lineto
closepath
stroke
end grestore
% extlib
gsave 10 dict begin
-529 86 42 25 ellipse_path
+553 86 42 25 ellipse_path
stroke
gsave 10 dict begin
-501 78 moveto
+525 78 moveto
(extlib)
[10.56 12 6.72 6.72 6.72 12]
xshow
% hgdome
gsave 10 dict begin
-655 278 54 25 ellipse_path
+553 262 54 25 ellipse_path
stroke
gsave 10 dict begin
-615 270 moveto
+513 254 moveto
(hgdome)
[12 12 12 12 18.72 10.56]
xshow
end grestore
% hgdome -> xml
-newpath 637 254 moveto
-625 239 608 221 591 208 curveto
-584 202 575 197 567 192 curveto
+newpath 553 236 moveto
+553 228 553 219 553 210 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 568 189 moveto
-558 187 lineto
-565 195 lineto
+newpath 557 210 moveto
+553 200 lineto
+550 210 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 568 189 moveto
-558 187 lineto
-565 195 lineto
+newpath 557 210 moveto
+553 200 lineto
+550 210 lineto
closepath
stroke
end grestore
% hmysql -> registry
-newpath 528 340 moveto
-528 332 529 323 529 314 curveto
+newpath 664 341 moveto
+666 328 669 312 672 298 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 533 314 moveto
-529 304 lineto
-526 314 lineto
+newpath 675 298 moveto
+674 288 lineto
+669 297 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 533 314 moveto
-529 304 lineto
-526 314 lineto
+newpath 675 298 moveto
+674 288 lineto
+669 297 lineto
closepath
stroke
end grestore
% registry -> xml
-newpath 529 252 moveto
-529 239 529 224 529 210 curveto
+newpath 649 241 moveto
+630 228 605 211 586 197 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 533 210 moveto
-529 200 lineto
-526 210 lineto
+newpath 588 194 moveto
+578 191 lineto
+584 200 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 533 210 moveto
-529 200 lineto
-526 210 lineto
+newpath 588 194 moveto
+578 191 lineto
+584 200 lineto
closepath
stroke
end grestore
% xml -> extlib
-newpath 529 148 moveto
-529 140 529 131 529 122 curveto
+newpath 553 148 moveto
+553 140 553 131 553 122 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 533 122 moveto
-529 112 lineto
-526 122 lineto
+newpath 557 122 moveto
+553 112 lineto
+550 122 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 533 122 moveto
-529 112 lineto
-526 122 lineto
+newpath 557 122 moveto
+553 112 lineto
+550 122 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 604 590 moveto
-468 590 lineto
-468 526 lineto
-604 526 lineto
+newpath 641 768 moveto
+505 768 lineto
+505 704 lineto
+641 704 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 604 590 moveto
-468 590 lineto
-468 526 lineto
-604 526 lineto
+newpath 641 768 moveto
+505 768 lineto
+505 704 lineto
+641 704 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-476 564 moveto
+513 742 moveto
(Dependency)
[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
xshow
-492 536 moveto
+529 714 moveto
(Analyzer)
[17.28 12 10.56 6.72 12 10.56 10.56 7.92]
xshow
end grestore
% DependencyAnalyzer -> metadata
-newpath 513 526 moveto
-500 511 483 496 464 488 curveto
-440 477 248 485 221 480 curveto
-216 479 210 477 205 475 curveto
+newpath 522 704 moveto
+501 691 477 675 457 662 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 206 472 moveto
-195 472 lineto
-204 478 lineto
+newpath 458 659 moveto
+448 657 lineto
+455 665 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 206 472 moveto
-195 472 lineto
-204 478 lineto
+newpath 458 659 moveto
+448 657 lineto
+455 665 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 76 472 moveto
-0 472 lineto
-0 436 lineto
-76 436 lineto
+newpath 566 560 moveto
+490 560 lineto
+490 524 lineto
+566 524 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 76 472 moveto
-0 472 lineto
-0 436 lineto
-76 436 lineto
+newpath 566 560 moveto
+490 560 lineto
+490 524 lineto
+566 524 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-8 446 moveto
+498 534 moveto
(Getter)
[17.28 10.56 6.72 6.72 10.56 7.92]
xshow
end grestore
% Getter -> getter
-newpath 65 436 moveto
-70 433 76 430 82 428 curveto
-169 397 200 430 286 400 curveto
-293 397 299 394 305 391 curveto
+newpath 508 524 moveto
+494 512 477 496 463 483 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 307 394 moveto
-314 386 lineto
-304 388 lineto
+newpath 465 480 moveto
+455 476 lineto
+460 485 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 307 394 moveto
-314 386 lineto
-304 388 lineto
+newpath 465 480 moveto
+455 476 lineto
+460 485 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 990 942 moveto
-912 942 lineto
-912 906 lineto
-990 906 lineto
+newpath 222 1226 moveto
+144 1226 lineto
+144 1190 lineto
+222 1190 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 990 942 moveto
-912 942 lineto
-912 906 lineto
-990 906 lineto
+newpath 222 1226 moveto
+144 1226 lineto
+144 1190 lineto
+222 1190 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-919 916 moveto
+151 1200 moveto
(Matita)
[21.36 10.56 6.72 6.72 6.72 10.56]
xshow
end grestore
end grestore
-% Matita -> cic_disambiguation
-newpath 961 906 moveto
-978 875 1012 813 1035 775 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 1038 776 moveto
-1040 766 lineto
-1032 773 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 1038 776 moveto
-1040 766 lineto
-1032 773 lineto
-closepath
-stroke
-end grestore
-
-% Matita -> grafite
-newpath 912 914 moveto
-904 910 896 905 891 898 curveto
-883 889 880 876 879 864 curveto
+% Matita -> grafite_parser
+newpath 222 1204 moveto
+274 1197 367 1184 444 1162 curveto
+453 1159 461 1156 470 1153 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 883 864 moveto
-879 854 lineto
-876 864 lineto
+newpath 471 1156 moveto
+479 1149 lineto
+468 1150 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 883 864 moveto
-879 854 lineto
-876 864 lineto
+newpath 471 1156 moveto
+479 1149 lineto
+468 1150 lineto
closepath
stroke
end grestore
-% Matita -> paramodulation
-newpath 912 923 moveto
-801 921 489 912 473 898 curveto
-464 889 460 877 459 864 curveto
+% Matita -> grafite_engine
+newpath 183 1190 moveto
+183 1160 183 1099 183 1060 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 463 864 moveto
-459 854 lineto
-456 864 lineto
+newpath 187 1060 moveto
+183 1050 lineto
+180 1060 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 463 864 moveto
-459 854 lineto
-456 864 lineto
+newpath 187 1060 moveto
+183 1050 lineto
+180 1060 lineto
closepath
stroke
end grestore
% Matita -> hgdome
-newpath 990 922 moveto
-1056 919 1183 912 1197 898 curveto
-1221 872 1211 775 1211 740 curveto
-1211 740 1211 740 1211 454 curveto
-1211 351 865 301 719 284 curveto
+newpath 157 1190 moveto
+118 1160 48 1097 48 1024 curveto
+48 1024 48 1024 48 454 curveto
+48 351 123 338 216 296 curveto
+263 274 404 267 488 263 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 719 281 moveto
-709 283 lineto
-719 287 lineto
+newpath 488 267 moveto
+498 263 lineto
+488 260 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 719 281 moveto
-709 283 lineto
-719 287 lineto
+newpath 488 267 moveto
+498 263 lineto
+488 260 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 718 590 moveto
-622 590 lineto
-622 526 lineto
-718 526 lineto
+newpath 210 668 moveto
+114 668 lineto
+114 604 lineto
+210 604 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 718 590 moveto
-622 590 lineto
-622 526 lineto
-718 526 lineto
+newpath 210 668 moveto
+114 668 lineto
+114 604 lineto
+210 604 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-643 564 moveto
+135 642 moveto
(Proof)
[13.44 7.92 12 12 7.92]
xshow
-630 536 moveto
+122 614 moveto
(Checker)
[16.08 12 10.56 10.56 12 10.56 7.92]
xshow
end grestore
% ProofChecker -> cic_proof_checking
-newpath 653 526 moveto
-643 511 630 496 613 488 curveto
-589 476 409 493 360 483 curveto
+newpath 210 607 moveto
+212 606 214 605 216 604 curveto
+237 592 261 580 282 569 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 362 480 moveto
-351 480 lineto
-359 486 lineto
+newpath 283 572 moveto
+291 565 lineto
+280 566 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 362 480 moveto
-351 480 lineto
-359 486 lineto
+newpath 283 572 moveto
+291 565 lineto
+280 566 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 658 846 moveto
-572 846 lineto
-572 810 lineto
-658 810 lineto
+newpath 428 1042 moveto
+342 1042 lineto
+342 1006 lineto
+428 1006 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 658 846 moveto
-572 846 lineto
-572 810 lineto
-658 810 lineto
+newpath 428 1042 moveto
+342 1042 lineto
+342 1006 lineto
+428 1006 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-579 820 moveto
+349 1016 moveto
(Uwobo)
[17.28 17.28 12 12 12]
xshow
end grestore
% Uwobo -> content_pres
-newpath 649 810 moveto
-655 807 661 804 667 802 curveto
-704 786 748 772 782 760 curveto
+newpath 414 1006 moveto
+420 1003 426 1000 432 998 curveto
+535 963 568 985 673 962 curveto
+680 961 686 959 693 957 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 783 763 moveto
-792 757 lineto
-781 757 lineto
+newpath 694 960 moveto
+703 954 lineto
+692 954 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 783 763 moveto
-792 757 lineto
-781 757 lineto
+newpath 694 960 moveto
+703 954 lineto
+692 954 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 756 846 moveto
-676 846 lineto
-676 810 lineto
-756 810 lineto
+newpath 566 1226 moveto
+486 1226 lineto
+486 1190 lineto
+566 1190 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 756 846 moveto
-676 846 lineto
-676 810 lineto
-756 810 lineto
+newpath 566 1226 moveto
+486 1226 lineto
+486 1190 lineto
+566 1190 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-683 820 moveto
+493 1200 moveto
(Whelp)
[22.56 12 10.56 6.72 12]
xshow
end grestore
end grestore
-% Whelp -> cic_disambiguation
-newpath 743 810 moveto
-749 807 754 804 760 802 curveto
-835 773 858 782 935 766 curveto
-944 764 954 762 963 759 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 964 762 moveto
-973 757 lineto
-963 756 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 964 762 moveto
-973 757 lineto
-963 756 lineto
-closepath
-stroke
-end grestore
-
-% Whelp -> content_pres
-newpath 743 810 moveto
-761 798 785 782 805 769 curveto
+% Whelp -> grafite_parser
+newpath 526 1190 moveto
+526 1182 526 1173 526 1164 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 808 771 moveto
-814 763 lineto
-804 766 lineto
+newpath 530 1164 moveto
+526 1154 lineto
+523 1164 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 808 771 moveto
-814 763 lineto
-804 766 lineto
+newpath 530 1164 moveto
+526 1154 lineto
+523 1164 lineto
closepath
stroke
end grestore