%%For: (zacchiro) Stefano Zacchiroli,,,
%%Title: G
%%Pages: (atend)
-%%BoundingBox: 35 35 1114 979
+%%BoundingBox: 35 35 1258 979
%%EndComments
save
%%BeginProlog
%%EndSetup
%%Page: 1 1
-%%PageBoundingBox: 36 36 1114 979
+%%PageBoundingBox: 36 36 1258 979
%%PageOrientation: Portrait
gsave
-35 35 1079 944 boxprim clip newpath
+35 35 1223 944 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 640 488 moveto
-1069 488 lineto
-1069 862 lineto
-640 862 lineto
+newpath 764 488 moveto
+1193 488 lineto
+1193 862 lineto
+764 862 lineto
closepath
fill
0.000 0.000 1.000 sethsbcolor
-newpath 640 488 moveto
-1069 488 lineto
-1069 862 lineto
-640 862 lineto
+newpath 764 488 moveto
+1193 488 lineto
+1193 862 lineto
+764 862 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 sethsbcolor
-648 498 moveto
+772 498 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 152 618 moveto
-402 618 lineto
-402 898 lineto
-152 898 lineto
+newpath 314 618 moveto
+564 618 lineto
+564 898 lineto
+314 898 lineto
closepath
fill
0.000 0.000 1.000 sethsbcolor
-newpath 152 618 moveto
-402 618 lineto
-402 898 lineto
-152 898 lineto
+newpath 314 618 moveto
+564 618 lineto
+564 898 lineto
+314 898 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 sethsbcolor
-160 872 moveto
+322 872 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 258 208 moveto
-632 208 lineto
-632 592 lineto
-258 592 lineto
+newpath 86 208 moveto
+460 208 lineto
+460 592 lineto
+86 592 lineto
closepath
fill
0.000 0.000 1.000 sethsbcolor
-newpath 258 208 moveto
-632 208 lineto
-632 592 lineto
-258 592 lineto
+newpath 86 208 moveto
+460 208 lineto
+460 592 lineto
+86 592 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 sethsbcolor
-265 218 moveto
+93 218 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 640 16 moveto
-928 16 lineto
-928 400 lineto
-640 400 lineto
+newpath 468 16 moveto
+718 16 lineto
+718 400 lineto
+468 400 lineto
closepath
fill
0.000 0.000 1.000 sethsbcolor
-newpath 640 16 moveto
-928 16 lineto
-928 400 lineto
-640 400 lineto
+newpath 468 16 moveto
+718 16 lineto
+718 400 lineto
+468 400 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 sethsbcolor
-842 26 moveto
+632 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
-758 652 75 25 ellipse_path
+849 652 75 25 ellipse_path
stroke
gsave 10 dict begin
-697 644 moveto
+788 644 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
-731 558 54 25 ellipse_path
+839 558 54 25 ellipse_path
stroke
gsave 10 dict begin
-691 550 moveto
+799 550 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 751 626 moveto
-748 616 744 604 741 593 curveto
+newpath 846 626 moveto
+845 616 844 605 843 594 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 744 592 moveto
-739 583 lineto
-738 593 lineto
+newpath 846 594 moveto
+842 584 lineto
+840 594 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 744 592 moveto
-739 583 lineto
-738 593 lineto
+newpath 846 594 moveto
+842 584 lineto
+840 594 lineto
closepath
stroke
end grestore
% cic_proof_checking
gsave 10 dict begin
-513 454 110 25 ellipse_path
+341 454 110 25 ellipse_path
stroke
gsave 10 dict begin
-417 446 moveto
+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]
xshow
end grestore
% cic_acic -> cic_proof_checking
-newpath 706 535 moveto
-688 520 662 500 636 488 curveto
-626 483 615 479 604 475 curveto
+newpath 820 534 moveto
+806 518 784 497 760 488 curveto
+741 480 423 491 361 482 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 605 472 moveto
-594 472 lineto
-603 478 lineto
+newpath 361 479 moveto
+351 480 lineto
+360 485 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 605 472 moveto
-594 472 lineto
-603 478 lineto
+newpath 361 479 moveto
+351 480 lineto
+360 485 lineto
closepath
stroke
end grestore
% cic_disambiguation
gsave 10 dict begin
-758 740 109 25 ellipse_path
+1054 740 109 25 ellipse_path
stroke
gsave 10 dict begin
-663 732 moveto
+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]
xshow
end grestore
% cic_disambiguation -> acic_content
-newpath 758 714 moveto
-758 706 758 697 758 688 curveto
+newpath 975 722 moveto
+935 712 890 698 867 684 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 762 688 moveto
-758 678 lineto
-755 688 lineto
+newpath 869 681 moveto
+859 678 lineto
+865 687 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 762 688 moveto
-758 678 lineto
-755 688 lineto
+newpath 869 681 moveto
+859 678 lineto
+865 687 lineto
closepath
stroke
end grestore
% cic_unification
gsave 10 dict begin
-307 652 86 25 ellipse_path
+469 652 86 25 ellipse_path
stroke
gsave 10 dict begin
-235 644 moveto
+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]
xshow
end grestore
% cic_disambiguation -> cic_unification
-newpath 674 724 moveto
-592 708 471 684 390 668 curveto
+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
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 390 665 moveto
-380 666 lineto
-389 671 lineto
+newpath 557 662 moveto
+547 663 lineto
+556 668 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 390 665 moveto
-380 666 lineto
-389 671 lineto
+newpath 557 662 moveto
+547 663 lineto
+556 668 lineto
closepath
stroke
end grestore
% whelp
gsave 10 dict begin
-325 558 44 25 ellipse_path
+354 558 44 25 ellipse_path
stroke
gsave 10 dict begin
-295 550 moveto
+324 550 moveto
(whelp)
[17.28 12 10.56 6.72 12]
xshow
end grestore
% cic_disambiguation -> whelp
-newpath 704 718 moveto
-618 681 451 611 370 577 curveto
+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
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 372 574 moveto
-361 573 lineto
-369 580 lineto
+newpath 368 590 moveto
+360 583 lineto
+362 593 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 372 574 moveto
-361 573 lineto
-369 580 lineto
+newpath 368 590 moveto
+360 583 lineto
+362 593 lineto
closepath
stroke
end grestore
% content_pres
gsave 10 dict begin
-963 740 76 25 ellipse_path
+849 740 76 25 ellipse_path
stroke
gsave 10 dict begin
-901 732 moveto
+787 732 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
% content_pres -> acic_content
-newpath 916 720 moveto
-885 707 846 690 814 676 curveto
+newpath 849 714 moveto
+849 706 849 697 849 688 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 816 673 moveto
-805 672 lineto
-813 679 lineto
+newpath 853 688 moveto
+849 678 lineto
+846 688 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 816 673 moveto
-805 672 lineto
-813 679 lineto
-closepath
-stroke
-end grestore
-
-% utf8_macros
-gsave 10 dict begin
-844 366 75 25 ellipse_path
-stroke
-gsave 10 dict begin
-783 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 -> utf8_macros
-newpath 955 715 moveto
-934 649 879 476 855 401 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 858 400 moveto
-852 391 lineto
-852 402 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 858 400 moveto
-852 391 lineto
-852 402 lineto
+newpath 853 688 moveto
+849 678 lineto
+846 688 lineto
closepath
stroke
end grestore
% grafite
gsave 10 dict begin
-830 828 46 25 ellipse_path
+881 828 46 25 ellipse_path
stroke
gsave 10 dict begin
-798 820 moveto
+849 820 moveto
(grafite)
[12 7.92 10.56 7.92 6.72 6.72 10.56]
xshow
end grestore
% grafite -> content_pres
-newpath 860 808 moveto
-877 797 900 782 920 769 curveto
+newpath 872 803 moveto
+868 794 865 784 861 775 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 922 772 moveto
-928 763 lineto
-918 766 lineto
+newpath 864 774 moveto
+858 765 lineto
+858 776 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 922 772 moveto
-928 763 lineto
-918 766 lineto
+newpath 864 774 moveto
+858 765 lineto
+858 776 lineto
closepath
stroke
end grestore
% cic_unification -> cic_proof_checking
-newpath 337 628 moveto
-350 617 366 604 379 592 curveto
-416 557 456 515 483 487 curveto
+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
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 486 489 moveto
-490 479 lineto
-481 484 lineto
+newpath 376 478 moveto
+365 479 lineto
+374 485 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 486 489 moveto
-490 479 lineto
-481 484 lineto
+newpath 376 478 moveto
+365 479 lineto
+374 485 lineto
closepath
stroke
end grestore
% tactics
gsave 10 dict begin
-301 740 45 25 ellipse_path
+463 740 45 25 ellipse_path
stroke
gsave 10 dict begin
-270 732 moveto
+432 732 moveto
(tactics)
[6.72 10.56 10.56 6.72 6.72 10.56 9.36]
xshow
end grestore
% tactics -> cic_unification
-newpath 303 714 moveto
-304 706 304 697 305 688 curveto
+newpath 465 714 moveto
+466 706 466 697 467 688 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 309 688 moveto
-305 678 lineto
-302 688 lineto
+newpath 471 688 moveto
+467 678 lineto
+464 688 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 309 688 moveto
-305 678 lineto
-302 688 lineto
+newpath 471 688 moveto
+467 678 lineto
+464 688 lineto
closepath
stroke
end grestore
% tactics -> whelp
-newpath 264 725 moveto
-245 714 222 699 211 678 curveto
-199 654 196 639 211 618 curveto
-230 591 252 607 280 592 curveto
-284 590 288 588 291 585 curveto
+newpath 427 724 moveto
+408 714 386 698 373 678 curveto
+357 653 353 620 353 594 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 293 588 moveto
-299 579 lineto
-289 582 lineto
+newpath 357 594 moveto
+353 584 lineto
+350 594 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 293 588 moveto
-299 579 lineto
-289 582 lineto
+newpath 357 594 moveto
+353 584 lineto
+350 594 lineto
closepath
stroke
end grestore
% paramodulation
gsave 10 dict begin
-301 828 90 25 ellipse_path
+463 828 90 25 ellipse_path
stroke
gsave 10 dict begin
-225 820 moveto
+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]
xshow
end grestore
% paramodulation -> tactics
-newpath 301 802 moveto
-301 794 301 785 301 776 curveto
+newpath 463 802 moveto
+463 794 463 785 463 776 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 305 776 moveto
-301 766 lineto
-298 776 lineto
+newpath 467 776 moveto
+463 766 lineto
+460 776 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 305 776 moveto
-301 766 lineto
-298 776 lineto
+newpath 467 776 moveto
+463 766 lineto
+460 776 lineto
closepath
stroke
end grestore
% cic
gsave 10 dict begin
-420 366 28 25 ellipse_path
+248 366 28 25 ellipse_path
stroke
gsave 10 dict begin
-406 358 moveto
+234 358 moveto
(cic)
[10.56 6.72 10.56]
xshow
% urimanager
gsave 10 dict begin
-515 278 70 25 ellipse_path
+343 278 70 25 ellipse_path
stroke
gsave 10 dict begin
-459 270 moveto
+287 270 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 440 347 moveto
-452 336 468 322 482 309 curveto
+newpath 268 347 moveto
+280 336 296 322 310 309 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 484 312 moveto
-489 302 lineto
-479 307 lineto
+newpath 312 312 moveto
+317 302 lineto
+307 307 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 484 312 moveto
-489 302 lineto
-479 307 lineto
+newpath 312 312 moveto
+317 302 lineto
+307 307 lineto
closepath
stroke
end grestore
% xml
gsave 10 dict begin
-701 174 33 25 ellipse_path
+529 174 33 25 ellipse_path
stroke
gsave 10 dict begin
-682 166 moveto
+510 166 moveto
(xml)
[12 18.72 6.72]
xshow
end grestore
% cic -> xml
-newpath 414 341 moveto
-407 306 401 243 435 208 curveto
-450 192 585 181 657 177 curveto
+newpath 242 341 moveto
+235 306 229 243 263 208 curveto
+278 192 413 181 485 177 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 657 180 moveto
-667 176 lineto
-657 174 lineto
+newpath 485 180 moveto
+495 176 lineto
+485 174 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 657 180 moveto
-667 176 lineto
-657 174 lineto
+newpath 485 180 moveto
+495 176 lineto
+485 174 lineto
closepath
stroke
end grestore
% cic_proof_checking -> cic
-newpath 487 429 moveto
-475 417 460 404 448 392 curveto
+newpath 315 429 moveto
+303 417 288 404 276 392 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 450 389 moveto
-440 385 lineto
-445 394 lineto
+newpath 278 389 moveto
+268 385 lineto
+273 394 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 450 389 moveto
-440 385 lineto
-445 394 lineto
+newpath 278 389 moveto
+268 385 lineto
+273 394 lineto
closepath
stroke
end grestore
% getter
gsave 10 dict begin
-513 366 42 25 ellipse_path
+341 366 42 25 ellipse_path
stroke
gsave 10 dict begin
-485 358 moveto
+313 358 moveto
(getter)
[12 10.56 6.72 6.72 10.56 7.92]
xshow
end grestore
% cic_proof_checking -> getter
-newpath 513 428 moveto
-513 420 513 411 513 402 curveto
+newpath 341 428 moveto
+341 420 341 411 341 402 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 517 402 moveto
-513 392 lineto
-510 402 lineto
+newpath 345 402 moveto
+341 392 lineto
+338 402 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 517 402 moveto
-513 392 lineto
-510 402 lineto
+newpath 345 402 moveto
+341 392 lineto
+338 402 lineto
closepath
stroke
end grestore
% getter -> urimanager
-newpath 514 340 moveto
-514 332 514 323 514 314 curveto
+newpath 342 340 moveto
+342 332 342 323 342 314 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 518 314 moveto
-514 304 lineto
-511 314 lineto
+newpath 346 314 moveto
+342 304 lineto
+339 314 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 518 314 moveto
-514 304 lineto
-511 314 lineto
+newpath 346 314 moveto
+342 304 lineto
+339 314 lineto
closepath
stroke
end grestore
% registry
gsave 10 dict begin
-701 278 52 25 ellipse_path
+529 278 52 25 ellipse_path
stroke
gsave 10 dict begin
-663 270 moveto
+491 270 moveto
(registry)
[7.92 10.56 12 6.72 9.36 6.72 7.92 12]
xshow
end grestore
% getter -> registry
-newpath 547 350 moveto
-577 336 621 316 654 300 curveto
+newpath 375 350 moveto
+405 336 449 316 482 300 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 655 303 moveto
-663 296 lineto
-652 297 lineto
+newpath 483 303 moveto
+491 296 lineto
+480 297 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 655 303 moveto
-663 296 lineto
-652 297 lineto
+newpath 483 303 moveto
+491 296 lineto
+480 297 lineto
closepath
stroke
end grestore
% metadata
gsave 10 dict begin
-325 454 58 25 ellipse_path
+153 454 58 25 ellipse_path
stroke
gsave 10 dict begin
-281 446 moveto
+109 446 moveto
(metadata)
[18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
xshow
end grestore
% metadata -> cic
-newpath 350 431 moveto
-363 419 379 404 392 392 curveto
+newpath 178 431 moveto
+191 419 207 404 220 392 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 395 394 moveto
-400 385 lineto
-390 389 lineto
+newpath 223 394 moveto
+228 385 lineto
+218 389 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 395 394 moveto
-400 385 lineto
-390 389 lineto
+newpath 223 394 moveto
+228 385 lineto
+218 389 lineto
closepath
stroke
end grestore
% metadata -> getter
-newpath 369 437 moveto
-401 424 442 408 458 400 curveto
-464 397 470 394 475 390 curveto
+newpath 197 437 moveto
+229 424 270 408 286 400 curveto
+292 397 298 394 303 390 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 477 393 moveto
-484 385 lineto
-474 387 lineto
+newpath 305 393 moveto
+312 385 lineto
+302 387 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 477 393 moveto
-484 385 lineto
-474 387 lineto
+newpath 305 393 moveto
+312 385 lineto
+302 387 lineto
closepath
stroke
end grestore
% hmysql
gsave 10 dict begin
-699 366 50 25 ellipse_path
+528 366 50 25 ellipse_path
stroke
gsave 10 dict begin
-663 358 moveto
+492 358 moveto
(hmysql)
[12 18.72 12 9.36 12 6.72]
xshow
end grestore
% metadata -> hmysql
-newpath 367 436 moveto
-375 433 384 430 393 428 curveto
-499 402 533 432 636 400 curveto
-644 398 651 394 658 391 curveto
+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
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 660 394 moveto
-667 386 lineto
-657 388 lineto
+newpath 488 393 moveto
+496 386 lineto
+485 387 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 660 394 moveto
-667 386 lineto
-657 388 lineto
+newpath 488 393 moveto
+496 386 lineto
+485 387 lineto
closepath
stroke
end grestore
% whelp -> metadata
-newpath 325 532 moveto
-325 519 325 504 325 490 curveto
+newpath 320 541 moveto
+287 523 237 497 200 479 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 329 490 moveto
-325 480 lineto
-322 490 lineto
+newpath 201 476 moveto
+191 474 lineto
+198 482 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 329 490 moveto
-325 480 lineto
-322 490 lineto
+newpath 201 476 moveto
+191 474 lineto
+198 482 lineto
closepath
stroke
end grestore
% extlib
gsave 10 dict begin
-701 86 42 25 ellipse_path
+529 86 42 25 ellipse_path
stroke
gsave 10 dict begin
-673 78 moveto
+501 78 moveto
(extlib)
[10.56 12 6.72 6.72 6.72 12]
xshow
% hgdome
gsave 10 dict begin
-827 278 54 25 ellipse_path
+655 278 54 25 ellipse_path
stroke
gsave 10 dict begin
-787 270 moveto
+615 270 moveto
(hgdome)
[12 12 12 12 18.72 10.56]
xshow
end grestore
% hgdome -> xml
-newpath 809 254 moveto
-797 239 780 221 763 208 curveto
-756 202 747 197 739 192 curveto
+newpath 637 254 moveto
+625 239 608 221 591 208 curveto
+584 202 575 197 567 192 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 740 189 moveto
-730 187 lineto
-737 195 lineto
+newpath 568 189 moveto
+558 187 lineto
+565 195 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 740 189 moveto
-730 187 lineto
-737 195 lineto
+newpath 568 189 moveto
+558 187 lineto
+565 195 lineto
closepath
stroke
end grestore
% hmysql -> registry
-newpath 700 340 moveto
-700 332 700 323 700 314 curveto
+newpath 528 340 moveto
+528 332 529 323 529 314 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 704 314 moveto
-700 304 lineto
-697 314 lineto
+newpath 533 314 moveto
+529 304 lineto
+526 314 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 704 314 moveto
-700 304 lineto
-697 314 lineto
+newpath 533 314 moveto
+529 304 lineto
+526 314 lineto
closepath
stroke
end grestore
% registry -> xml
-newpath 701 252 moveto
-701 239 701 224 701 210 curveto
+newpath 529 252 moveto
+529 239 529 224 529 210 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 705 210 moveto
-701 200 lineto
-698 210 lineto
+newpath 533 210 moveto
+529 200 lineto
+526 210 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 705 210 moveto
-701 200 lineto
-698 210 lineto
+newpath 533 210 moveto
+529 200 lineto
+526 210 lineto
closepath
stroke
end grestore
% xml -> extlib
-newpath 701 148 moveto
-701 140 701 131 701 122 curveto
+newpath 529 148 moveto
+529 140 529 131 529 122 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 705 122 moveto
-701 112 lineto
-698 122 lineto
+newpath 533 122 moveto
+529 112 lineto
+526 122 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 705 122 moveto
-701 112 lineto
-698 122 lineto
+newpath 533 122 moveto
+529 112 lineto
+526 122 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 136 590 moveto
-0 590 lineto
-0 526 lineto
-136 526 lineto
+newpath 604 590 moveto
+468 590 lineto
+468 526 lineto
+604 526 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 136 590 moveto
-0 590 lineto
-0 526 lineto
-136 526 lineto
+newpath 604 590 moveto
+468 590 lineto
+468 526 lineto
+604 526 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-8 564 moveto
+476 564 moveto
(Dependency)
[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
xshow
-24 536 moveto
+492 536 moveto
(Analyzer)
[17.28 12 10.56 6.72 12 10.56 10.56 7.92]
xshow
end grestore
% DependencyAnalyzer -> metadata
-newpath 94 526 moveto
-108 512 126 496 145 488 curveto
-170 477 240 486 266 480 curveto
-270 479 273 478 277 477 curveto
+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
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 278 480 moveto
-286 473 lineto
-275 474 lineto
+newpath 206 472 moveto
+195 472 lineto
+204 478 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 278 480 moveto
-286 473 lineto
-275 474 lineto
+newpath 206 472 moveto
+195 472 lineto
+204 478 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 248 472 moveto
-172 472 lineto
-172 436 lineto
-248 436 lineto
+newpath 76 472 moveto
+0 472 lineto
+0 436 lineto
+76 436 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 248 472 moveto
-172 472 lineto
-172 436 lineto
-248 436 lineto
+newpath 76 472 moveto
+0 472 lineto
+0 436 lineto
+76 436 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-180 446 moveto
+8 446 moveto
(Getter)
[17.28 10.56 6.72 6.72 10.56 7.92]
xshow
end grestore
% Getter -> getter
-newpath 237 436 moveto
-242 433 248 430 254 428 curveto
-341 397 372 430 458 400 curveto
-465 397 471 394 477 391 curveto
+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
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 479 394 moveto
-486 386 lineto
-476 388 lineto
+newpath 307 394 moveto
+314 386 lineto
+304 388 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 479 394 moveto
-486 386 lineto
-476 388 lineto
+newpath 307 394 moveto
+314 386 lineto
+304 388 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 459 942 moveto
-381 942 lineto
-381 906 lineto
-459 906 lineto
+newpath 990 942 moveto
+912 942 lineto
+912 906 lineto
+990 906 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 459 942 moveto
-381 942 lineto
-381 906 lineto
-459 906 lineto
+newpath 990 942 moveto
+912 942 lineto
+912 906 lineto
+990 906 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-388 916 moveto
+919 916 moveto
(Matita)
[21.36 10.56 6.72 6.72 6.72 10.56]
xshow
end grestore
% Matita -> cic_disambiguation
-newpath 417 906 moveto
-415 879 414 830 439 802 curveto
-504 731 554 751 640 746 curveto
+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 640 749 moveto
-650 745 lineto
-640 743 lineto
+newpath 1038 776 moveto
+1040 766 lineto
+1032 773 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 640 749 moveto
-650 745 lineto
-640 743 lineto
+newpath 1038 776 moveto
+1040 766 lineto
+1032 773 lineto
closepath
stroke
end grestore
% Matita -> grafite
-newpath 459 923 moveto
-547 921 756 914 783 898 curveto
-798 890 808 876 816 862 curveto
+newpath 912 914 moveto
+904 910 896 905 891 898 curveto
+883 889 880 876 879 864 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 819 864 moveto
-820 853 lineto
-813 861 lineto
+newpath 883 864 moveto
+879 854 lineto
+876 864 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 819 864 moveto
-820 853 lineto
-813 861 lineto
+newpath 883 864 moveto
+879 854 lineto
+876 864 lineto
closepath
stroke
end grestore
% Matita -> paramodulation
-newpath 381 919 moveto
-354 915 321 908 311 898 curveto
-302 889 299 876 298 864 curveto
+newpath 912 923 moveto
+801 921 489 912 473 898 curveto
+464 889 460 877 459 864 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
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 463 864 moveto
+459 854 lineto
+456 864 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
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 302 864 moveto
-298 854 lineto
-295 864 lineto
+newpath 719 281 moveto
+709 283 lineto
+719 287 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 302 864 moveto
-298 854 lineto
-295 864 lineto
+newpath 719 281 moveto
+709 283 lineto
+719 287 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 250 590 moveto
-154 590 lineto
-154 526 lineto
-250 526 lineto
+newpath 718 590 moveto
+622 590 lineto
+622 526 lineto
+718 526 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 250 590 moveto
-154 590 lineto
-154 526 lineto
-250 526 lineto
+newpath 718 590 moveto
+622 590 lineto
+622 526 lineto
+718 526 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-175 564 moveto
+643 564 moveto
(Proof)
[13.44 7.92 12 12 7.92]
xshow
-162 536 moveto
+630 536 moveto
(Checker)
[16.08 12 10.56 10.56 12 10.56 7.92]
xshow
end grestore
% ProofChecker -> cic_proof_checking
-newpath 218 526 moveto
-226 512 238 496 254 488 curveto
-268 480 378 482 393 480 curveto
-404 478 415 476 426 474 curveto
+newpath 653 526 moveto
+643 511 630 496 613 488 curveto
+589 476 409 493 360 483 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 427 477 moveto
-436 472 lineto
-426 471 lineto
+newpath 362 480 moveto
+351 480 lineto
+359 486 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 427 477 moveto
-436 472 lineto
-426 471 lineto
+newpath 362 480 moveto
+351 480 lineto
+359 486 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 632 846 moveto
-546 846 lineto
-546 810 lineto
-632 810 lineto
+newpath 658 846 moveto
+572 846 lineto
+572 810 lineto
+658 810 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 632 846 moveto
-546 846 lineto
-546 810 lineto
-632 810 lineto
+newpath 658 846 moveto
+572 846 lineto
+572 810 lineto
+658 810 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-553 820 moveto
+579 820 moveto
(Uwobo)
[17.28 17.28 12 12 12]
xshow
end grestore
% Uwobo -> content_pres
-newpath 618 810 moveto
-624 807 630 804 636 802 curveto
-739 767 772 789 877 766 curveto
-884 765 890 763 897 761 curveto
+newpath 649 810 moveto
+655 807 661 804 667 802 curveto
+704 786 748 772 782 760 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 898 764 moveto
-907 758 lineto
-896 758 lineto
+newpath 783 763 moveto
+792 757 lineto
+781 757 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 898 764 moveto
-907 758 lineto
-896 758 lineto
+newpath 783 763 moveto
+792 757 lineto
+781 757 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 528 846 moveto
-448 846 lineto
-448 810 lineto
-528 810 lineto
+newpath 756 846 moveto
+676 846 lineto
+676 810 lineto
+756 810 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 528 846 moveto
-448 846 lineto
-448 810 lineto
-528 810 lineto
+newpath 756 846 moveto
+676 846 lineto
+676 810 lineto
+756 810 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-455 820 moveto
+683 820 moveto
(Whelp)
[22.56 12 10.56 6.72 12]
xshow
end grestore
% Whelp -> cic_disambiguation
-newpath 520 810 moveto
-526 807 531 804 537 802 curveto
-580 785 628 770 669 760 curveto
+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 670 763 moveto
-679 758 lineto
-669 757 lineto
+newpath 964 762 moveto
+973 757 lineto
+963 756 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 670 763 moveto
-679 758 lineto
-669 757 lineto
+newpath 964 762 moveto
+973 757 lineto
+963 756 lineto
closepath
stroke
end grestore
% Whelp -> content_pres
-newpath 518 810 moveto
-524 807 531 804 537 802 curveto
-683 757 729 796 877 766 curveto
-884 765 891 763 898 761 curveto
+newpath 743 810 moveto
+761 798 785 782 805 769 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 899 764 moveto
-908 758 lineto
-897 758 lineto
+newpath 808 771 moveto
+814 763 lineto
+804 766 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 899 764 moveto
-908 758 lineto
-897 758 lineto
+newpath 808 771 moveto
+814 763 lineto
+804 766 lineto
closepath
stroke
end grestore