+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 704 963 moveto
+712 956 lineto
+701 956 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 704 963 moveto
+712 956 lineto
+701 956 lineto
+closepath
+stroke
+end grestore
+
+% 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 273 772 moveto
+273 761 lineto
+266 769 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 273 772 moveto
+273 761 lineto
+266 769 lineto