\setlength{\unitlength}{0.00087489in}
%
\begingroup\makeatletter\ifx\SetFigFont\undefined%
\gdef\SetFigFont#1#2#3#4#5{%
  \reset@font\fontsize{#1}{#2pt}%
  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
  \selectfont}%
\fi\endgroup%
{\renewcommand{\dashlinestretch}{30}
\begin{picture}(6409,2639)(0,-10)
\put(1575,2525){\ellipse{134}{134}}
\put(1935,2480){\makebox(0,0)[lb]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}conjunctive}}}
\put(3600,2525){\blacken\ellipse{90}{90}}
\put(3600,2525){\ellipse{90}{90}}
\put(3960,2480){\makebox(0,0)[lb]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}disjunctive}}}
\path(5439,2182)(5439,382)
\path(4539,1282)(6339,1282)
\dashline{60.000}(4539,2182)(6339,2182)(6339,382)
	(4539,382)(4539,2182)
\put(6334,2186){\ellipse{134}{134}}
\put(4541,401){\ellipse{134}{134}}
\put(4542,2193){\blacken\ellipse{90}{90}}
\put(4542,2193){\ellipse{90}{90}}
\put(6342,400){\blacken\ellipse{90}{90}}
\put(6342,400){\ellipse{90}{90}}
\path(912,2169)(912,369)
\path(12,1269)(1812,1269)
\dashline{60.000}(12,2169)(1812,2169)(1812,369)
	(12,369)(12,2169)
\put(903,2178){\ellipse{134}{134}}
\put(1795,1278){\ellipse{134}{134}}
\put(1803,2177){\blacken\ellipse{90}{90}}
\put(1803,2177){\ellipse{90}{90}}
\path(3162,2169)(3162,369)
\path(2262,1269)(4062,1269)
\dashline{60.000}(2262,2169)(4062,2169)(4062,369)
	(2262,369)(2262,2169)
\put(4050,1282){\blacken\ellipse{90}{90}}
\put(4050,1282){\ellipse{90}{90}}
\put(4050,1281){\ellipse{158}{158}}
\put(3207,54){\makebox(0,0)[b]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}2 models (4 members)}}}
\put(5457,54){\makebox(0,0)[b]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}2 models (2 members)}}}
\put(957,54){\makebox(0,0)[b]{{\SetFigFont{12}{14.4}{\familydefault}{\mddefault}{\updefault}1 model (4 members)}}}
\end{picture}
}