%!PS-Adobe-2.0 EPSF-2.0
%%Title: /home/linas/src/novamente/src/atomspace-git/opencog/sheaf/docs/graphics/LG-inference.dia
%%Creator: Dia v0.97+git
%%CreationDate: Wed Jul 13 14:22:04 2022
%%For: linas
%%Orientation: Portrait
%%Magnification: 1.0000
%%BoundingBox: 0 0 671 522
%%BeginSetup
%%EndSetup
%%EndComments
%%BeginProlog
[ /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /space /exclam /quotedbl /numbersign /dollar /percent /ampersand /quoteright
/parenleft /parenright /asterisk /plus /comma /hyphen /period /slash /zero /one
/two /three /four /five /six /seven /eight /nine /colon /semicolon
/less /equal /greater /question /at /A /B /C /D /E
/F /G /H /I /J /K /L /M /N /O
/P /Q /R /S /T /U /V /W /X /Y
/Z /bracketleft /backslash /bracketright /asciicircum /underscore /quoteleft /a /b /c
/d /e /f /g /h /i /j /k /l /m
/n /o /p /q /r /s /t /u /v /w
/x /y /z /braceleft /bar /braceright /asciitilde /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/space /exclamdown /cent /sterling /currency /yen /brokenbar /section /dieresis /copyright
/ordfeminine /guillemotleft /logicalnot /hyphen /registered /macron /degree /plusminus /twosuperior /threesuperior
/acute /mu /paragraph /periodcentered /cedilla /onesuperior /ordmasculine /guillemotright /onequarter /onehalf
/threequarters /questiondown /Agrave /Aacute /Acircumflex /Atilde /Adieresis /Aring /AE /Ccedilla
/Egrave /Eacute /Ecircumflex /Edieresis /Igrave /Iacute /Icircumflex /Idieresis /Eth /Ntilde
/Ograve /Oacute /Ocircumflex /Otilde /Odieresis /multiply /Oslash /Ugrave /Uacute /Ucircumflex
/Udieresis /Yacute /Thorn /germandbls /agrave /aacute /acircumflex /atilde /adieresis /aring
/ae /ccedilla /egrave /eacute /ecircumflex /edieresis /igrave /iacute /icircumflex /idieresis
/eth /ntilde /ograve /oacute /ocircumflex /otilde /odieresis /divide /oslash /ugrave
/uacute /ucircumflex /udieresis /yacute /thorn /ydieresis] /isolatin1encoding exch def
/cp {closepath} bind def
/c {curveto} bind def
/f {fill} bind def
/a {arc} bind def
/ef {eofill} bind def
/ex {exch} bind def
/gr {grestore} bind def
/gs {gsave} bind def
/sa {save} bind def
/rs {restore} bind def
/l {lineto} bind def
/m {moveto} bind def
/rm {rmoveto} bind def
/n {newpath} bind def
/s {stroke} bind def
/sh {show} bind def
/slc {setlinecap} bind def
/slj {setlinejoin} bind def
/slw {setlinewidth} bind def
/srgb {setrgbcolor} bind def
/rot {rotate} bind def
/sc {scale} bind def
/sd {setdash} bind def
/ff {findfont} bind def
/sf {setfont} bind def
/scf {scalefont} bind def
/sw {stringwidth pop} bind def
/tr {translate} bind def
/ellipsedict 8 dict def
ellipsedict /mtrx matrix put
/ellipse
{ ellipsedict begin
/endangle exch def
/startangle exch def
/yrad exch def
/xrad exch def
/y exch def
/x exch def /savematrix mtrx currentmatrix def
x y tr xrad yrad sc
0 0 1 startangle endangle arc
savematrix setmatrix
end
} def
/mergeprocs {
dup length
3 -1 roll
dup
length
dup
5 1 roll
3 -1 roll
add
array cvx
dup
3 -1 roll
0 exch
putinterval
dup
4 2 roll
putinterval
} bind def
/dpi_x 300 def
/dpi_y 300 def
/conicto {
/to_y exch def
/to_x exch def
/conic_cntrl_y exch def
/conic_cntrl_x exch def
currentpoint
/p0_y exch def
/p0_x exch def
/p1_x p0_x conic_cntrl_x p0_x sub 2 3 div mul add def
/p1_y p0_y conic_cntrl_y p0_y sub 2 3 div mul add def
/p2_x p1_x to_x p0_x sub 1 3 div mul add def
/p2_y p1_y to_y p0_y sub 1 3 div mul add def
p1_x p1_y p2_x p2_y to_x to_y curveto
} bind def
/start_ol { gsave 1.1 dpi_x div dup scale} bind def
/end_ol { closepath fill grestore } bind def
28.346000 -28.346000 scale
-6.850000 -25.350938 translate
%%EndProlog
0.000000 0.000000 0.000000 srgb
0.300000 slw
[] 0 sd
0 slc
n 7.000000 15.000000 m 28.000000 15.000000 l s
gsave 29.000000 15.500000 translate 0.035278 -0.035278 scale
start_ol
1444 6724 moveto
1444 7936 lineto
9978 4841 lineto
9978 3735 lineto
1444 640 lineto
1444 1852 lineto
8300 4281 lineto
1444 6724 lineto
end_ol grestore
gsave 13.600000 14.400000 translate 0.035278 -0.035278 scale
start_ol
4230 2646 moveto
4010 3804 lineto
3785 4992 2895 4992 conicto
2225 4992 1920 4437 conicto
1535 3740 1535 2821 conicto
1535 1710 1910 1180 conicto
2290 640 2895 640 conicto
3565 640 3925 1724 conicto
4230 2646 lineto
4745 4154 moveto
5240 5632 lineto
6060 5632 lineto
5035 2589 lineto
5235 1483 lineto
5280 1229 5455 1017 conicto
5660 768 5820 768 conicto
6260 768 lineto
6260 0 lineto
5710 0 lineto
5240 0 4820 419 conicto
4615 629 4530 1068 conicto
4300 513 3830 77 conicto
3610 -128 2895 -128 conicto
1720 -128 1150 637 conicto
565 1427 565 2811 conicto
565 4291 1200 4985 conicto
1905 5760 2895 5760 conicto
4450 5760 4745 4154 conicto
end_ol grestore
0.100000 slw
[] 0 sd
0 slj
0 slc
n 16.000000 18.800000 m 17.600000 18.800000 18.050000 21.500000 18.050000 22.700000 c s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 18.050000 22.700000 m 18.000000 22.700000 17.950000 22.650000 17.950000 22.600000 c 17.950000 22.550000 18.000000 22.500000 18.050000 22.500000 c 18.100000 22.500000 18.150000 22.550000 18.150000 22.600000 c 18.150000 22.650000 18.100000 22.700000 18.050000 22.700000 c ef
n 18.050000 22.700000 m 18.000000 22.700000 17.950000 22.650000 17.950000 22.600000 c 17.950000 22.550000 18.000000 22.500000 18.050000 22.500000 c 18.100000 22.500000 18.150000 22.550000 18.150000 22.600000 c 18.150000 22.650000 18.100000 22.700000 18.050000 22.700000 c s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 15.800000 21.600000 m 20.400000 21.600000 l 20.400000 23.600000 l 15.800000 23.600000 l cp s
gsave 17.200000 24.800000 translate 0.035278 -0.035278 scale
start_ol
4230 2646 moveto
4010 3804 lineto
3785 4992 2895 4992 conicto
2225 4992 1920 4437 conicto
1535 3740 1535 2821 conicto
1535 1710 1910 1180 conicto
2290 640 2895 640 conicto
3565 640 3925 1724 conicto
4230 2646 lineto
4745 4154 moveto
5240 5632 lineto
6060 5632 lineto
5035 2589 lineto
5235 1483 lineto
5280 1229 5455 1017 conicto
5660 768 5820 768 conicto
6260 768 lineto
6260 0 lineto
5710 0 lineto
5240 0 4820 419 conicto
4615 629 4530 1068 conicto
4300 513 3830 77 conicto
3610 -128 2895 -128 conicto
1720 -128 1150 637 conicto
565 1427 565 2811 conicto
565 4291 1200 4985 conicto
1905 5760 2895 5760 conicto
4450 5760 4745 4154 conicto
end_ol grestore
gsave 18.091662 24.800000 translate 0.035278 -0.035278 scale
start_ol
1885 322 moveto
1885 -2112 lineto
960 -2112 lineto
960 5590 lineto
960 7872 3090 7872 conicto
5260 7872 5260 5926 conicto
5260 4541 4400 4036 conicto
5800 3585 5800 2247 conicto
5800 -128 3390 -128 conicto
2330 -128 1885 322 conicto
1885 1512 moveto
2440 640 3425 640 conicto
4865 640 4865 2250 conicto
4865 3694 2545 3584 conicto
2545 4352 lineto
4360 4352 4360 5986 conicto
4360 7104 3190 7104 conicto
1885 7104 1885 5532 conicto
1885 1512 lineto
end_ol grestore
gsave 14.500000 19.116667 translate 0.035278 -0.035278 scale
start_ol
645 7488 moveto
1730 7488 lineto
3585 4704 lineto
5450 7488 lineto
6535 7488 lineto
4135 3892 lineto
6695 0 lineto
5610 0 lineto
3510 3185 lineto
1395 0 lineto
305 0 lineto
2970 3997 lineto
645 7488 lineto
end_ol grestore
0.100000 slw
[] 0 sd
0 slj
0 slc
n 13.400000 17.600000 m 16.000000 17.600000 l 16.000000 19.600000 l 13.400000 19.600000 l 13.400000 19.000000 l 14.000000 19.200000 l 14.000000 18.000000 l 13.400000 18.200000 l 13.400000 17.600000 l s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 12.200000 11.200000 m 16.200000 11.200000 l 16.200000 13.200000 l 12.200000 13.200000 l cp s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 12.600000 8.000000 m 13.600000 8.000000 13.600000 11.000000 13.600000 12.200000 c s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 13.600000 12.200000 m 13.550000 12.200000 13.500000 12.150000 13.500000 12.100000 c 13.500000 12.050000 13.550000 12.000000 13.600000 12.000000 c 13.650000 12.000000 13.700000 12.050000 13.700000 12.100000 c 13.700000 12.150000 13.650000 12.200000 13.600000 12.200000 c ef
n 13.600000 12.200000 m 13.550000 12.200000 13.500000 12.150000 13.500000 12.100000 c 13.500000 12.050000 13.550000 12.000000 13.600000 12.000000 c 13.650000 12.000000 13.700000 12.050000 13.700000 12.100000 c 13.700000 12.150000 13.650000 12.200000 13.600000 12.200000 c s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 15.800000 8.000000 m 14.600000 8.000000 14.800000 11.000000 14.800000 12.200000 c s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 14.800000 12.200000 m 14.750000 12.200000 14.700000 12.150000 14.700000 12.100000 c 14.700000 12.050000 14.750000 12.000000 14.800000 12.000000 c 14.850000 12.000000 14.900000 12.050000 14.900000 12.100000 c 14.900000 12.150000 14.850000 12.200000 14.800000 12.200000 c ef
n 14.800000 12.200000 m 14.750000 12.200000 14.700000 12.150000 14.700000 12.100000 c 14.700000 12.050000 14.750000 12.000000 14.800000 12.000000 c 14.850000 12.000000 14.900000 12.050000 14.900000 12.100000 c 14.900000 12.150000 14.850000 12.200000 14.800000 12.200000 c s
gsave 11.200000 8.400000 translate 0.035278 -0.035278 scale
start_ol
645 7488 moveto
1730 7488 lineto
3585 4704 lineto
5450 7488 lineto
6535 7488 lineto
4135 3892 lineto
6695 0 lineto
5610 0 lineto
3510 3185 lineto
1395 0 lineto
305 0 lineto
2970 3997 lineto
645 7488 lineto
end_ol grestore
0.100000 slw
[] 0 sd
0 slj
0 slc
n 10.000000 7.000000 m 12.600000 7.000000 l 12.600000 9.000000 l 10.000000 9.000000 l 10.000000 8.400000 l 10.600000 8.600000 l 10.600000 7.400000 l 10.000000 7.600000 l 10.000000 7.000000 l s
gsave 16.400000 8.400000 translate 0.035278 -0.035278 scale
start_ol
-20 7488 moveto
1065 7488 lineto
3135 4409 lineto
5190 7488 lineto
6275 7488 lineto
3635 3566 lineto
3635 0 lineto
2620 0 lineto
2620 3566 lineto
-20 7488 lineto
end_ol grestore
0.100000 slw
[] 0 sd
0 slj
0 slc
n 15.800000 7.000000 m 18.400000 7.000000 l 18.400000 7.400000 l 17.600000 8.000000 l 18.400000 8.600000 l 18.400000 9.000000 l 15.800000 9.000000 l 15.800000 7.400000 l 15.800000 7.000000 l s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 21.200000 11.200000 m 25.000000 11.200000 l 25.000000 13.000000 l 21.200000 13.000000 l cp s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 22.200000 8.000000 m 23.200000 8.000000 23.200000 11.000000 23.200000 12.200000 c s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 23.200000 12.200000 m 23.150000 12.200000 23.100000 12.150000 23.100000 12.100000 c 23.100000 12.050000 23.150000 12.000000 23.200000 12.000000 c 23.250000 12.000000 23.300000 12.050000 23.300000 12.100000 c 23.300000 12.150000 23.250000 12.200000 23.200000 12.200000 c ef
n 23.200000 12.200000 m 23.150000 12.200000 23.100000 12.150000 23.100000 12.100000 c 23.100000 12.050000 23.150000 12.000000 23.200000 12.000000 c 23.250000 12.000000 23.300000 12.050000 23.300000 12.100000 c 23.300000 12.150000 23.250000 12.200000 23.200000 12.200000 c s
gsave 22.800000 14.400000 translate 0.035278 -0.035278 scale
start_ol
1885 322 moveto
1885 -2112 lineto
960 -2112 lineto
960 5590 lineto
960 7872 3090 7872 conicto
5260 7872 5260 5926 conicto
5260 4541 4400 4036 conicto
5800 3585 5800 2247 conicto
5800 -128 3390 -128 conicto
2330 -128 1885 322 conicto
1885 1512 moveto
2440 640 3425 640 conicto
4865 640 4865 2250 conicto
4865 3694 2545 3584 conicto
2545 4352 lineto
4360 4352 4360 5986 conicto
4360 7104 3190 7104 conicto
1885 7104 1885 5532 conicto
1885 1512 lineto
end_ol grestore
gsave 21.000000 8.400000 translate 0.035278 -0.035278 scale
start_ol
-20 7488 moveto
1065 7488 lineto
3135 4409 lineto
5190 7488 lineto
6275 7488 lineto
3635 3566 lineto
3635 0 lineto
2620 0 lineto
2620 3566 lineto
-20 7488 lineto
end_ol grestore
0.100000 slw
[] 0 sd
0 slj
0 slc
n 20.600000 7.000000 m 22.200000 7.000000 l 22.200000 9.000000 l 20.600000 9.000000 l 20.600000 8.600000 l 19.800000 8.000000 l 20.600000 7.400000 l 20.600000 7.000000 l s
showpage