%!PS-Adobe-2.0 EPSF-2.0
%%Title: /home/linas/src/novamente/src/atomspace-git/opencog/sheaf/docs/graphics/inference.dia
%%Creator: Dia v0.97+git
%%CreationDate: Wed Jul 13 20:01:04 2022
%%For: linas
%%Orientation: Portrait
%%Magnification: 1.0000
%%BoundingBox: 0 0 277 400
%%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
-9.950000 -13.250000 translate
%%EndProlog
0.100000 slw
[] 0 sd
0 slj
0 slc
0.000000 0.000000 0.000000 srgb
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 12.600000 0.200000 m 15.800000 0.200000 15.200000 8.800000 15.200000 12.200000 c s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 15.200000 12.200000 m 15.150000 12.200000 15.100000 12.150000 15.100000 12.100000 c 15.100000 12.050000 15.150000 12.000000 15.200000 12.000000 c 15.250000 12.000000 15.300000 12.050000 15.300000 12.100000 c 15.300000 12.150000 15.250000 12.200000 15.200000 12.200000 c ef
n 15.200000 12.200000 m 15.150000 12.200000 15.100000 12.150000 15.100000 12.100000 c 15.100000 12.050000 15.150000 12.000000 15.200000 12.000000 c 15.250000 12.000000 15.300000 12.050000 15.300000 12.100000 c 15.300000 12.150000 15.250000 12.200000 15.200000 12.200000 c s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 12.600000 3.000000 m 14.200000 3.000000 14.400000 9.400000 14.400000 12.200000 c s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 14.400000 12.200000 m 14.350000 12.200000 14.300000 12.150000 14.300000 12.100000 c 14.300000 12.050000 14.350000 12.000000 14.400000 12.000000 c 14.450000 12.000000 14.500000 12.050000 14.500000 12.100000 c 14.500000 12.150000 14.450000 12.200000 14.400000 12.200000 c ef
n 14.400000 12.200000 m 14.350000 12.200000 14.300000 12.150000 14.300000 12.100000 c 14.300000 12.050000 14.350000 12.000000 14.400000 12.000000 c 14.450000 12.000000 14.500000 12.050000 14.500000 12.100000 c 14.500000 12.150000 14.450000 12.200000 14.400000 12.200000 c s
0.300000 slw
[0.400000] 0 sd
0 slj
0 slc
n 11.200000 4.400000 m 11.200000 5.200000 l 11.200000 6.400000 l s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 12.200000 11.200000 m 17.400000 11.200000 l 17.400000 13.200000 l 12.200000 13.200000 l cp s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 17.000000 8.000000 m 15.800000 8.000000 16.000000 11.000000 16.000000 12.200000 c s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 16.000000 12.200000 m 15.950000 12.200000 15.900000 12.150000 15.900000 12.100000 c 15.900000 12.050000 15.950000 12.000000 16.000000 12.000000 c 16.050000 12.000000 16.100000 12.050000 16.100000 12.100000 c 16.100000 12.150000 16.050000 12.200000 16.000000 12.200000 c ef
n 16.000000 12.200000 m 15.950000 12.200000 15.900000 12.150000 15.900000 12.100000 c 15.900000 12.050000 15.950000 12.000000 16.000000 12.000000 c 16.050000 12.000000 16.100000 12.050000 16.100000 12.100000 c 16.100000 12.150000 16.050000 12.200000 16.000000 12.200000 c s
gsave 17.600000 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 17.000000 7.000000 m 18.800000 7.000000 l 18.800000 7.600000 l 19.600000 8.000000 l 18.800000 8.400000 l 18.800000 9.000000 l 17.000000 9.000000 l 17.000000 7.400000 l 17.000000 7.000000 l s
gsave 11.000000 0.600000 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 -0.800000 m 12.600000 -0.800000 l 12.600000 1.200000 l 10.000000 1.200000 l 10.000000 0.600000 l 10.600000 0.800000 l 10.600000 -0.400000 l 10.000000 -0.200000 l 10.000000 -0.800000 l s
gsave 12.000000 0.800000 translate 0.035278 -0.035278 scale
start_ol
603 384 moveto
1387 384 lineto
1387 3136 lineto
534 2944 lineto
534 3328 lineto
1382 3520 lineto
1862 3520 lineto
1862 384 lineto
2646 384 lineto
2646 0 lineto
603 0 lineto
603 384 lineto
end_ol grestore
gsave 11.000000 3.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 2.000000 m 12.600000 2.000000 l 12.600000 4.000000 l 10.000000 4.000000 l 10.000000 3.400000 l 10.600000 3.600000 l 10.600000 2.400000 l 10.000000 2.600000 l 10.000000 2.000000 l s
gsave 12.000000 3.600000 translate 0.035278 -0.035278 scale
start_ol
933 384 moveto
2608 384 lineto
2608 0 lineto
356 0 lineto
356 384 lineto
629 668 1100 1146 conicto
1572 1625 1694 1763 conicto
1924 2023 2015 2203 conicto
2107 2384 2107 2558 conicto
2107 2842 1908 3021 conicto
1710 3200 1392 3200 conicto
1166 3200 915 3104 conicto
665 3009 380 2816 conicto
380 3328 lineto
670 3455 921 3519 conicto
1173 3584 1382 3584 conicto
1933 3584 2261 3309 conicto
2589 3034 2589 2574 conicto
2589 2356 2507 2160 conicto
2425 1965 2209 1700 conicto
2149 1631 1831 1302 conicto
1513 974 933 384 conicto
end_ol grestore
gsave 11.000000 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 12.000000 8.600000 translate 0.035278 -0.035278 scale
start_ol
2670 1646 moveto
2670 0 lineto
2233 0 lineto
2233 1632 lineto
2233 2001 2085 2184 conicto
1938 2368 1644 2368 conicto
1290 2368 1085 2146 conicto
881 1925 881 1542 conicto
881 0 lineto
442 0 lineto
442 2688 lineto
881 2688 lineto
881 2304 lineto
1038 2529 1250 2640 conicto
1463 2752 1741 2752 conicto
2200 2752 2435 2471 conicto
2670 2191 2670 1646 conicto
end_ol grestore
showpage