\setlength{\unitlength}{0.012500in}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined
% extract first six characters in \fmtname
\def\x#1#2#3#4#5#6#7\relax{\def\x{#1#2#3#4#5#6}}%
\expandafter\x\fmtname xxxxxx\relax \def\y{splain}%
\ifx\x\y   % LaTeX or SliTeX?
\gdef\SetFigFont#1#2#3{%
  \ifnum #1<17\tiny\else \ifnum #1<20\small\else
  \ifnum #1<24\normalsize\else \ifnum #1<29\large\else
  \ifnum #1<34\Large\else \ifnum #1<41\LARGE\else
     \huge\fi\fi\fi\fi\fi\fi
  \csname #3\endcsname}%
\else
\gdef\SetFigFont#1#2#3{\begingroup
  \count@#1\relax \ifnum 25<\count@\count@25\fi
  \def\x{\endgroup\@setsize\SetFigFont{#2pt}}%
  \expandafter\x
    \csname \romannumeral\the\count@ pt\expandafter\endcsname
    \csname @\romannumeral\the\count@ pt\endcsname
  \csname #3\endcsname}%
\fi
\fi\endgroup
\begin{picture}(135,210)(90,585)
\thinlines
\put(150,735){\circle{30}}
\put(150,732){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}S}}}
\put(210,735){\circle{30}}
\put(210,732){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}?}}}
\put(105,690){\circle{30}}
\put(105,687){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}W}}}
\put(150,690){\circle{30}}
\put(150,687){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}T}}}
\put(105,645){\circle{30}}
\put(105,642){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}X}}}
\put(180,780){\circle{30}}
\put(150,645){\circle{30}}
\put(120,600){\circle{30}}
\put(180,600){\circle{30}}
\put(180,765){\vector(-2,-1){ 30}}
\put(180,765){\vector( 2,-1){ 30}}
\put(150,720){\vector(-3,-1){ 45}}
\put(150,720){\vector( 0,-1){ 15}}
\put(150,675){\vector(-3,-1){ 45}}
\put(150,675){\vector( 0,-1){ 15}}
\put(150,630){\vector(-2,-1){ 30}}
\put(150,630){\vector( 2,-1){ 30}}
\put(180,777){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}Z}}}
\put(144,759){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}true}}}
\put(201,759){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}false}}}
\put( 96,711){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}true}}}
\put(156,711){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}false}}}
\put( 96,666){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}true}}}
\put(156,666){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}false}}}
\put(150,642){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}U}}}
\put(120,597){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}Y}}}
\put(180,597){\makebox(0,0)[b]{\smash{\SetFigFont{12}{14.4}{rm}?}}}
\put(111,621){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}true}}}
\put(171,621){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{rm}false}}}
\end{picture}
