# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate images original text with physical files.

$key = q/{_inline}$a_n-1${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=31 HEIGHT=12 ALIGN=MIDDLE ALT="tex2html_wrap_inline6481" SRC="img27.gif"  > '; 
$key = q/{_inline}$wedge${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=8 HEIGHT=10 ALIGN=BOTTOM ALT="tex2html_wrap_inline6631" SRC="img37.gif"  > '; 
$key = q/{_inline}$mboxpredicate^+${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=73 HEIGHT=28 ALIGN=MIDDLE ALT="tex2html_wrap_inline6947" SRC="img75.gif"  > '; 
$key = q/{_inline}$mboxltermid^+${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=61 HEIGHT=14 ALIGN=BOTTOM ALT="tex2html_wrap_inline7053" SRC="img78.gif"  > '; 
$key = q/{_inline}$A,ArightarrowBvdashB${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=101 HEIGHT=24 ALIGN=MIDDLE ALT="tex2html_wrap_inline6867" SRC="img61.gif"  > '; 
$key = q/{figure}[tbh]centercenterfboxminipage1cmsmalltabbingxxxxxxxxxxxxx=xxx=xxxxxxxxxxxxkillstructcnt>::=>bfunderlineStructuralcontrol:_inline$mboxmre^+$_inlinemre>::=>metaidbfunderlineIfpremisse-metabfunderlineThenfilter-mrefilter-mre>::=>bfunderlinefilter_inline$mboxamodid^+$_inline_inline$vert$_inline>>bfunderlineorder_inline$mboxamodid^+$_inlinebfunderlinewithcertaintycert-value_inline$vert$_inline>>bfunderlineOpenbfunderline(termbfunderline)mbox_inline$vert$_inlinebfunderlineModulebfunderline(termbfunderline)mbox_inline$vert$_inlinebfunderlineInheritbfunderline(itamodidbfunderline)mrx>::=>metaidbfunderlineIfpremisse-metabfunderlineThenexceptionexception>::=>bfunderlinedefinitivesolutionpredid_inline$vert$_inline>>bfunderlinestoptabbingminipagecentercenterlabelstrcon{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=533 HEIGHT=161 ALIGN=BOTTOM ALT="figure3895" SRC="img40.gif"  > '; 
$key = q/{_inline}$mu_treatment(etambutol)=[alpha,beta]${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=217 HEIGHT=24 ALIGN=MIDDLE ALT="tex2html_wrap_inline6287" SRC="img11.gif"  > '; 
$key = q/{_inline}$mboxmoddecl^+${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=67 HEIGHT=14 ALIGN=BOTTOM ALT="tex2html_wrap_inline6917" SRC="img73.gif"  > '; 
$key = q/{_inline}$Query(sm,f_sm)${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=113 HEIGHT=23 ALIGN=MIDDLE ALT="tex2html_wrap_inline6825" SRC="img59.gif"  > '; 
$key = q/{displaymath}clearance_of_creatinina=140-fracagetimesweighttimesleft{arrayll1.0;SPMamp;mboxifitmale0.8;SPMamp;mboxifitfemalearrayright}72{displaymath}/;
$cached_env_img{$key} = ' <IMG WIDTH=503 HEIGHT=58 ALIGN=BOTTOM ALT="displaymath6333" SRC="img16.gif"  > '; 
$key = q/{_inline}$neg${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=8 HEIGHT=5 ALIGN=BOTTOM ALT="tex2html_wrap_inline6635" SRC="img38.gif"  > '; 
$key = q/{displaymath}Eval(f)=mboxttloop{Update(Search(f));mboxttifvalue(f)mboxttreturn(f,value(f))}{displaymath}/;
$cached_env_img{$key} = ' <IMG WIDTH=538 HEIGHT=16 ALIGN=BOTTOM ALT="displaymath6811" SRC="img56.gif"  > '; 
$key = q/{figure}[tbh]centercenterfboxminipage1cmsmalltabbingxxxxxxxxxxxxx=xxx=xxxxxxxxxxxxkillmexpr>::=>knownmbox_inline$vert$_inlinemrelmbox_inline$vert$_inlinemsubmodmbox_inline$vert$_inlinemthresmbox_inline$vert$_inlinecardmbox_inline$vert$_inlineatommbox_inline$vert$_inlinemember_inline$vert$_inline>>eqdifmbox_inline$vert$_inlinemopermbox_inline$vert$_inlineintmbox_inline$vert$_inlinesetofmbox_inline$vert$_inlineposmbox_inline$vert$_inlinegexprsymorvar>::=>itsymbolmbox_inline$vert$_inlinebfunderline$itsymbolvpath>::=>symorvarmbox_inline$vert$_inlinesymorvarbfunderlinevpathknown>::=>bfunderlineKbfunderline(fact,intervalbfunderline)fact>::=>factexmbox_inline$vert$_inlinebfunderlinenotbfunderline(factexbfunderline)mbox_inline$vert$_inlinebfunderlineimpliesbfunderline(listbfunderline,listbfunderline)factex>::=>vpathmbox_inline$vert$_inlinebfunderline=bfunderline(vpath,symorvarbfunderline)interval>::=>itbfunderline$symbolmbox_inline$vert$_inlinebfunderlineintbfunderline(symorvar,symorvarbfunderline)mrel>::=>itrelationidbfunderline(symorvar,vpathbfunderline)msubmod>::=>bfunderlinesubmodulebfunderline(symorvar,symorvarbfunderline)mbox_inline$vert$_inlinebfunderlinesubmodulebfunderline(symorvarbfunderline)mthres>::=>bfunderlinethresholdbfunderline(symorvar,symorvarbfunderline)mbox_inline$vert$_inlinebfunderlinethresholdbfunderline(symorvarbfunderline)card>::=>bfunderlinecardinalbfunderline(list,symorvarbfunderline)list>::=>bfunderline$itlistidmbox_inline$vert$_inlinebfunderline(listelembfunderline)listelem>::=>itelemidmbox_inline$vert$_inlineitelemidbfunderline,listelematom>::=>bfunderlineatombfunderline(listbfunderline)member>::=>bfunderlinememberbfunderline(symorvar,listbfunderline)eqdif>::=>bfunderlineequalbfunderline(listorsym,listorsymbfunderline)mbox_inline$vert$_inlinebfunderlinediffbfunderline(listorsym,listorsymbfunderline)listorsym>::=>symbolmbox_inline$vert$_inlinelistmoper>::=>loperbfunderline(symorvar,symorvarbfunderline)loper>::=>bfunderlineltmbox_inline$vert$_inlinebfunderlinelembox_inline$vert$_inlinebfunderlineeqmbox_inline$vert$_inlinebfunderlineneqmbox_inline$vert$_inlinebfunderlinegembox_inline$vert$_inlinebfunderlinegtint>::=>bfunderlineintersectionbfunderline(list,listbfunderline)setof>::=>bfunderlineset_of_instancesbfunderline(bfunderline$itvar,term,bfunderline$itvarbfunderline)pos>::=>bfunderlinepositionbfunderline(symorvar,list,symorvarbfunderline)tabbingminipagecentercenterlabelmetapred{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=570 HEIGHT=460 ALIGN=BOTTOM ALT="figure3420" SRC="img31.gif"  > '; 
$key = q/{_inline}$AwedgeBrightarrowC${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=81 HEIGHT=11 ALIGN=BOTTOM ALT="tex2html_wrap_inline6875" SRC="img65.gif"  > '; 
$key = q/{displaymath}A_8={gp,mpop,llp,modp,p,fp,mp,s}{displaymath}/;
$cached_env_img{$key} = ' <IMG WIDTH=391 HEIGHT=16 ALIGN=BOTTOM ALT="displaymath7157" SRC="img84.gif"  > '; 
$key = q/{displaymath}(A,alpha),(AwedgeBrightarrowC,rho)vdash(BrightarrowC,rho'){displaymath}/;
$cached_env_img{$key} = ' <IMG WIDTH=381 HEIGHT=16 ALIGN=BOTTOM ALT="displaymath6905" SRC="img70.gif"  > '; 
$key = q/{_inline}$$z${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=14 HEIGHT=25 ALIGN=MIDDLE ALT="tex2html_wrap_inline6699" SRC="img41.gif"  > '; 
$key = q/{_inline}$rho'=conjunction(alpha,rho)${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=163 HEIGHT=23 ALIGN=MIDDLE ALT="tex2html_wrap_inline6907" SRC="img71.gif"  > '; 
$key = q/{figure}[tbh]centercenterfboxminipage1cmsmalltabbingxxxxxxxxxxxxx=xxx=xxxxxxxxxxxxkillPROGRAM>::=>_inline$mboxmoddecl^+$_inlinemoddecl>::=>bfunderlineModuleitamodid[bfunderline=bodyexpr]bodyexpr>::=>bfunderlinedeclbfunderlinembox_inline$vert$_inlinepathidpathid>::=>itamodidmbox_inline$vert$_inlineitamodidbfunderlinepathiddecl>::=>[hierarchy][interface][deductive][control]hierarchy>::=>moddeclmbox_inline$vert$_inlinehierarchyhierarchyinterface>::=>[bfunderlineImportpredicateidlist][bfunderlineExportpredicateidlist]predicateidlist>::=>itpredidbfunderline,predicateidlistmbox_inline$vert$_inlineitpredidtabbingminipagecentercenterlabelmodule1{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=472 HEIGHT=162 ALIGN=BOTTOM ALT="figure2299" SRC="img6.gif"  > '; 
$key = q/{_inline}$cert_value${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=71 HEIGHT=12 ALIGN=BOTTOM ALT="tex2html_wrap_inline6589" SRC="img33.gif"  > '; 
$key = q/{_inline}$equiv${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=10 HEIGHT=9 ALIGN=BOTTOM ALT="tex2html_wrap_inline6757" SRC="img49.gif"  > '; 
$key = q/{figure}[tbhp]centerlinepicture(260,117)(160,625)thicklinesput(180,640)vector(0,1)80put(180,640)vector(1,0)240thinlinesmultiput(175,700)(8.06452,0.00000)16line(1,0)4.032multiput(300,700)(0.00000,-7.64706)9line(0,-1)3.824put(260,645)line(0,-1)10multiput(300,700)(0.00000,-7.64706)9line(0,-1)3.824put(300,645)line(0,-1)10put(375,645)line(0,-1)10put(270,640)line(0,1)0put(175,640)line(1,0)10put(175,650)line(1,0)10put(175,660)line(1,0)10put(175,700)line(1,0)10thicklinesput(260,640)line(2,3)40put(300,700)line(1,0)80put(155,640)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$a_0$_inlineput(155,650)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$a_1$_inlineput(155,660)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$a_2$_inlineput(155,670)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$cdots$_inlineput(155,695)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$a_n-1$_inlineput(160,730)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$mu_fever(temperature)$_inlineput(410,625)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$temperature$_inlineput(175,625)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$0^circ$_inlineput(255,625)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$37^circ$_inlineput(295,625)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$38^circ$_inlineput(370,625)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$43^circ$_inlinepicturelabelfuzzy{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=577 HEIGHT=190 ALIGN=BOTTOM ALT="figure2693" SRC="img10.gif"  > '; 
$key = q/{displaymath}Specialization:Rule^*times(FacttimesValue)^*rightarrowRule^*times(FacttimesValue)^*{displaymath}/;
$cached_env_img{$key} = ' <IMG WIDTH=510 HEIGHT=15 ALIGN=BOTTOM ALT="displaymath6909" SRC="img72.gif"  > '; 
$key = q/{_inline}$BrightarrowC${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=51 HEIGHT=11 ALIGN=BOTTOM ALT="tex2html_wrap_inline6873" SRC="img64.gif"  > '; 
$key = q/{_inline}$DM$z${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=54 HEIGHT=24 ALIGN=MIDDLE ALT="tex2html_wrap_inline6719" SRC="img46.gif"  > '; 
$key = q/{_inline}$[alpha,alpha]${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=37 HEIGHT=24 ALIGN=MIDDLE ALT="tex2html_wrap_inline6403" SRC="img19.gif"  > '; 
$key = q/{figure}[tbh]centercenterfboxminipage1cmsmalltabbingxxxxxxxxxxxxx=xxx=xxxxxxxxxxxxkillPROGRAM>::=>_inline$mboxmoddecl^+$_inlinemoddecl>::=>bfunderlineModuleitamodid[bfunderline([paramlist]bfunderline)][modopermodexpr][bfunderline=modexpr]modexpr>::=>bodyexprmodopermodexprmbox_inline$vert$_inlinebodyexprparamlist>::=>paramlistbfunderline;paramlistmbox_inline$vert$_inlineitamodidmodopermodexpriparamlist>::=>modexprbfunderline;iparamlistmbox_inline$vert$_inlinemodexprmodoper>::=>bfunderline:mbox_inline$vert$_inlinebfunderline_inline$;SPMgt;$_inlinembox_inline$vert$_inlinebfunderline_inline$;SPMlt;$_inlinetabbingminipagecentercenterlabelopermod{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=590 HEIGHT=125 ALIGN=BOTTOM ALT="figure4081" SRC="img48.gif"  > '; 
$key = q/{figure}[tbh]centercenterfboxminipage1cmsmalltabbingxxxxxxxxxxxxx=xxx=xxxxxxxxxxxxkillPROGRAM>::=>_inline$mboxmoddecl^+$_inlinemoddecl>::=>bfunderlineModuleitamodid[bfunderline([paramlist]bfunderline)][bfunderline=bodyexpr]bodyexpr>::=>bfunderlinedeclbfunderlinembox_inline$vert$_inlinepathid[bfunderline([iparamlist]bfunderline)]paramlist>::=>itamodidbfunderline;paramlistmbox_inline$vert$_inlineitamodidiparamlist>::=>bodyexprbfunderline;iparamlistmbox_inline$vert$_inlinebodyexprtabbingminipagecentercenterlabelgenericmod{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=457 HEIGHT=108 ALIGN=BOTTOM ALT="figure4005" SRC="img47.gif"  > '; 
$key = q/{_inline}$mboxlrenames^+${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=71 HEIGHT=14 ALIGN=BOTTOM ALT="tex2html_wrap_inline7057" SRC="img79.gif"  > '; 
$key = q/{_inline}$[$min,$max]${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=95 HEIGHT=24 ALIGN=MIDDLE ALT="tex2html_wrap_inline6703" SRC="img42.gif"  > '; 
$key = q/{_inline}$mboxrule^+${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=35 HEIGHT=14 ALIGN=BOTTOM ALT="tex2html_wrap_inline6949" SRC="img76.gif"  > '; 
$key = q/{_inline}$A_8${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=16 HEIGHT=22 ALIGN=MIDDLE ALT="tex2html_wrap_inline6196" SRC="img1.gif"  > '; 
$key = q/{_inline}$mboxtypebinding^+${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=94 HEIGHT=30 ALIGN=MIDDLE ALT="tex2html_wrap_inline6945" SRC="img74.gif"  > '; 
$key = q/{_inline}$q=smq_sm${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=83 HEIGHT=24 ALIGN=MIDDLE ALT="tex2html_wrap_inline6781" SRC="img53.gif"  > '; 
$key = q/{tabular}llL::=R;SPMamp;ThesyntaxofLisdefinedbyRmbox[X];SPMamp;AnoptionalitemmboxX_inline$vert$_inlineY;SPMamp;AnitemfromoneofthesyntacticcategoriesXorY_inline$mboxX^+$_inline;SPMamp;OneormoreoccurrencesofthesyntacticcategoryX{tabular}/;
$cached_env_img{$key} = ' <IMG WIDTH=457 HEIGHT=77 ALIGN=BOTTOM ALT="tabular217" SRC="img5.gif"  > '; 
$key = q/{figure}[tbhp]centerlinepicture(255,95)(165,625)thicklinesput(180,640)vector(0,1)80put(180,640)vector(1,0)240thinlinesmultiput(175,700)(8.07018,0.00000)25line(1,0)4.035put(260,645)line(0,-1)10put(300,645)line(0,-1)10put(375,645)line(0,-1)10put(340,645)line(0,-1)10multiput(300,640)(0.00000,8.00000)8line(0,1)4.000multiput(320,640)(0.00000,8.00000)8line(0,1)4.000multiput(340,645)(0.00000,8.46154)7line(0,1)4.231multiput(285,640)(0.00000,8.00000)8line(0,1)4.000multiput(270,700)(0.00000,-8.00000)8line(0,-1)4.000put(270,640)line(0,1)0put(175,640)line(1,0)10put(175,650)line(1,0)10put(175,660)line(1,0)10put(175,700)line(1,0)10thicklinesput(260,640)line(1,6)10put(270,700)line(1,0)15put(285,700)line(1,-4)15put(285,640)line(1,4)15put(300,700)line(1,0)20put(320,700)line(1,-3)20put(320,640)line(1,3)20put(340,700)line(1,0)35put(155,640)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$a_0$_inlineput(155,650)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$a_1$_inlineput(155,660)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$a_2$_inlineput(155,670)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$cdots$_inlineput(155,695)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$a_n-1$_inlineput(410,625)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$temperature$_inlineput(175,625)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$0^circ$_inlineput(255,625)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$37^circ$_inlineput(295,625)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$38^circ$_inlineput(270,705)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$mu_low$_inlineput(335,625)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$39^circ$_inlineput(370,625)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$43^circ$_inlineput(375,705)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$mu_high$_inlineput(315,705)makebox(0,0)[lb]smashSetFigFont1012.0rm_inline$mu_medium$_inlinepicturelabelf:enum{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=577 HEIGHT=161 ALIGN=BOTTOM ALT="figure2802" SRC="img12.gif"  > '; 
$key = q/{_inline}$preceq${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=10 HEIGHT=25 ALIGN=MIDDLE ALT="tex2html_wrap_inline6331" SRC="img15.gif"  > '; 
$key = q/{_inline}$vert${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=2 HEIGHT=24 ALIGN=MIDDLE ALT="tex2html_wrap_inline6199" SRC="img3.gif"  > '; 
$key = q/{_inline}$mboxfilter-mrr^+${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=75 HEIGHT=14 ALIGN=BOTTOM ALT="tex2html_wrap_inline7069" SRC="img81.gif"  > '; 
$key = q/{_inline}$mboxmre^+${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=35 HEIGHT=13 ALIGN=BOTTOM ALT="tex2html_wrap_inline7079" SRC="img82.gif"  > '; 
$key = q/{figure}[tbh]centercenterfboxminipage1cmsmalltabbingxxxxxxxxxxxxx=xxx=xxxxxxxxxxxxkillgexpr>::=>itpredidbfunderline(termbfunderline,...bfunderline,termbfunderline)term>::=>itbfunderline$varidmbox_inline$vert$_inlineitsymbolmbox_inline$vert$_inlineittermid(term,...,term)tabbingminipagecentercenterlabeldeccon2{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=418 HEIGHT=50 ALIGN=BOTTOM ALT="figure3372" SRC="img30.gif"  > '; 
$key = q/{_inline}$alpha${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=7 HEIGHT=7 ALIGN=BOTTOM ALT="tex2html_wrap_inline6901" SRC="img68.gif"  > '; 
$key = q/{_inline}$etiq_1preceqetiq_2${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=102 HEIGHT=25 ALIGN=MIDDLE ALT="tex2html_wrap_inline6329" SRC="img14.gif"  > '; 
$key = q/{figure}[tbh]centercenterfboxminipage1cmsmalltabbingxxxxxxxxxxxxx=xxx=xxxxxxxxxxxxkilllogcomp>::=>[lingtermdef][conjunction][renaming]lingtermdef>::=>bfunderlineTruthvalues=bfunderline(ltermidlistbfunderline)ltermidlist>::=>itltermidbfunderline,ltermidlistmbox_inline$vert$_inlineitltermidconjunction>::=>bfunderlineConjunctionbfunderline=truth-tabletruth-table>::=>bfunderlineTruthtablebfunderline(arrowsbfunderline)arrows>::=>bfunderline(termlistbfunderline)mbox_inline$vert$_inlinearrowsarrowsrenaming>::=>bfunderlineRenaming_inline$mboxlrenames^+$_inlinelrenames>::=>pathidbfunderlineitltermidbfunderline==_inline$;SPMgt;$_inlinecert-valuecert-value>::=>itltermidmbox_inline$vert$_inlinebfunderline[itltermidbfunderline,itltermidbfunderline]tabbingminipagecentercenterlabellogics{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=395 HEIGHT=187 ALIGN=BOTTOM ALT="figure3253" SRC="img24.gif"  > '; 
$key = q/{_inline}$$min${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=35 HEIGHT=25 ALIGN=MIDDLE ALT="tex2html_wrap_inline6705" SRC="img43.gif"  > '; 
$key = q/{displaymath}Query:ModuletimesQueryrightarrowQuerytimesValue{displaymath}/;
$cached_env_img{$key} = ' <IMG WIDTH=410 HEIGHT=15 ALIGN=BOTTOM ALT="displaymath6777" SRC="img52.gif"  > '; 
$key = q/{_inline}$rho${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=7 HEIGHT=14 ALIGN=MIDDLE ALT="tex2html_wrap_inline6903" SRC="img69.gif"  > '; 
$key = q/{figure}[tbh]centercenterfboxminipage1cmsmalltabbingxxxxxxxxxxxxx=xxx=xxxxxxxxxxxxkillpredicate>::=>itpredidbfunderline=attributesattributes>::=>[name][question]type[function][_inline$mboxrelation^+$_inline][explanation][image]name>::=>bfunderlineName:itstringquestion>::=>bfunderlineQuestion:itstringtype>::=>bfunderlineType:typespecfunction>::=>bfunderlineFunction:bfunderline(S-expressionbfunderline)relation>::=>bfunderlineRelation:relationidpathpredidpathpredid>::=>pathidbfunderlineitpredidmbox_inline$vert$_inlineitpredidrelationid>::=>bfunderlineNeedsmbox_inline$vert$_inlinebfunderlineNeeds_truembox_inline$vert$_inlinebfunderlineNeeds_falsembox_inline$vert$_inlinebfunderlineNeeds_value_inline$vert$_inline>>bfunderlineBelongs_tombox_inline$vert$_inlinebfunderlineNeeds_quantitativembox_inline$vert$_inlinebfunderlineNeeds_qualitativembox_inline$vert$_inlineitsymbolexplanation>::=>bfunderlineExplanation:itstringimage>::=>bfunderlineImage:itfileidtabbingminipagecentercenterlabelfacts{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=608 HEIGHT=238 ALIGN=BOTTOM ALT="figure2445" SRC="img8.gif"  > '; 
$key = q/{_inline}$alphainA_n${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=49 HEIGHT=22 ALIGN=MIDDLE ALT="tex2html_wrap_inline6401" SRC="img18.gif"  > '; 
$key = q/{_inline}$A,AwedgeBrightarrowCvdashBrightarrowC${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=172 HEIGHT=24 ALIGN=MIDDLE ALT="tex2html_wrap_inline6871" SRC="img63.gif"  > '; 
$key = q/{_inline}$mboxamodid^+${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=61 HEIGHT=14 ALIGN=BOTTOM ALT="tex2html_wrap_inline7081" SRC="img83.gif"  > '; 
$key = q/{figure}[tbh]centercenterfboxminipage1cmsmalltabbingxxxxxxxxxxxxx=xxx=xxxxxxxxxxxxkillS-expression>::=>itatommbox_inline$vert$_inlinelistmbox_inline$vert$_inlinepredef-funcmbox_inline$vert$_inlineS-expressionS-expressionlist>::=>bfunderline(S-expressionbfunderline)mbox_inline$vert$_inlinebfunderline(bfunderline)predef-func>::=>bfunderline(bfunderlineTypeitpredidbfunderline)mbox_inline$vert$_inlinebfunderline(bfunderlineLinguistic_termsbfunderline)tabbingminipagecentercenterlabelfunction{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=499 HEIGHT=70 ALIGN=BOTTOM ALT="figure2955" SRC="img13.gif"  > '; 
$key = q/{_inline}$mboxmrr^+${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=34 HEIGHT=13 ALIGN=BOTTOM ALT="tex2html_wrap_inline7067" SRC="img80.gif"  > '; 
$key = q/{_inline}$a_0${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=14 HEIGHT=14 ALIGN=MIDDLE ALT="tex2html_wrap_inline6479" SRC="img26.gif"  > '; 
$key = q/{_inline}$$cut${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=28 HEIGHT=25 ALIGN=MIDDLE ALT="tex2html_wrap_inline6709" SRC="img44.gif"  > '; 
$key = q/{displaymath}Search:FactrightarrowFacttimesValue{displaymath}/;
$cached_env_img{$key} = ' <IMG WIDTH=361 HEIGHT=12 ALIGN=BOTTOM ALT="displaymath6819" SRC="img57.gif"  > '; 
$key = q/{_inline}$a_2${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=13 HEIGHT=14 ALIGN=MIDDLE ALT="tex2html_wrap_inline6601" SRC="img35.gif"  > '; 
$key = q/{figure}[tbh]centercenterfboxminipage1cmsmalltabbingxxxxxxxxxxxxx=xxx=xxxxxxxxxxxxkilldeduccnt>::=>bfunderlineDeductivecontrol:_inline$mboxmrr^+$_inlinemrr>::=>metaidbfunderlineIfpremisse-metabfunderlineThen_inline$mboxfilter-mrr^+$_inlinepremisse-meta>::=>mexprbfunderlineandpremisse-metambox_inline$vert$_inlinemexprfilter-mrr>::=>bfunderlineinhibitrules[relation-id]pathpredid_inline$vert$_inline>>bfunderlineprunepathpredidmbox_inline$vert$_inlinebfunderlineconcludegexprmbox_inline$vert$_inlinebfunderlineconcludeknowntabbingminipagecentercenterlabeldeccon{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=529 HEIGHT=104 ALIGN=BOTTOM ALT="figure3831" SRC="img39.gif"  > '; 
$key = q/{_inline}$A_n=a_0preceqa_1preceqcdotspreceqa_n-1${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=192 HEIGHT=23 ALIGN=MIDDLE ALT="tex2html_wrap_inline6477" SRC="img25.gif"  > '; 
$key = q/{figure}[tbh]centercenterfboxminipage1cmsmalltabbingxxxxxxxxxxxxx=xxx=xxxxxxxxxxxxkillcontrol>::=>bfunderlineControlknowledge>>[bfunderlineEvaluationtype:evaltype]>>[bfunderlineTruththreshold:itltermid]>>[deduccnt][structcnt]>>bfunderlinecontrolevaltype>::=>bfunderlinelazymbox_inline$vert$_inlinebfunderlineeagermbox_inline$vert$_inlinebfunderlinereifiedtabbingminipagecentercenterlabelf:control{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=338 HEIGHT=124 ALIGN=BOTTOM ALT="figure3774" SRC="img34.gif"  > '; 
$key = q/{_inline}$amodid^+${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=63 HEIGHT=13 ALIGN=BOTTOM ALT="tex2html_wrap_inline6583" SRC="img32.gif"  > '; 
$key = q/{figure}[tbh]centercenterfboxminipage1cmsmalltabbingxxxxxxxxxxxxx=xxx=xxxxxxxxxxxxkillhierarchy>::=>moddeclmbox_inline$vert$_inlinebfunderlineInherititmodidmbox_inline$vert$_inlinebfunderlineOpenbodyexprmbox_inline$vert$_inlinehierarchyhierarchytabbingminipagecentercenterlabelsynsub{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=593 HEIGHT=31 ALIGN=BOTTOM ALT="figure4157" SRC="img50.gif"  > '; 
$key = q/{_inline}$mu^fever_high(s)${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=63 HEIGHT=32 ALIGN=MIDDLE ALT="tex2html_wrap_inline6459" SRC="img22.gif"  > '; 
$key = q/{mytable}table3Arithmeticoperationsbetweenexpressions.tabular|l||l|l|cline2-3cline2-3multicolumn1c;SPMamp;multicolumn1|c|bfnumeric;SPMamp;multicolumn1c|bfsethlinehlinetta+b;SPMamp;_inline$a+b$_inline;SPMamp;_inline$AcupB$_inlinehlinetta-b;SPMamp;_inline$a-b$_inline;SPMamp;nosensehlinetta*b;SPMamp;_inline$atimesb$_inline;SPMamp;_inline$AcapB$_inlinehlinetta:~b;SPMamp;_inline$adivb$_inline;SPMamp;nosensehlinehlinetabular{mytable}/;
$cached_env_img{$key} = ' <IMG WIDTH=378 HEIGHT=159 ALIGN=BOTTOM ALT="mytable710" SRC="img20.gif"  > '; 
$key = q/{_inline}$(AwedgeB)rightarrowCequivArightarrow(BrightarrowC)${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=218 HEIGHT=23 ALIGN=MIDDLE ALT="tex2html_wrap_inline6869" SRC="img62.gif"  > '; 
$key = q/{mytable}operOperationsbetweenexpressions.tabular|l||l|l|cline2-3cline2-3multicolumn1c;SPMamp;multicolumn1|c|bfnumeric;SPMamp;multicolumn1c|bfsethlinehlinetta;SPMlt;b;SPMamp;_inline$a;SPMlt;b$_inline;SPMamp;_inline$AtildesubsetB$_inlinehlinetta;SPMgt;b;SPMamp;_inline$a;SPMgt;b$_inline;SPMamp;_inline$AtildesupsetB$_inlinehlinetta;SPMlt;=b;SPMamp;_inline$aleqb$_inline;SPMamp;_inline$AtildesubseteqB$_inlinehlinetta;SPMgt;=b;SPMamp;_inline$ageqb$_inline;SPMamp;_inline$AtildesupseteqB$_inlinehlinetta=b;SPMamp;_inline$a=b$_inline;SPMamp;_inline$Atilde=B$_inlinehlinetta=b;SPMamp;_inline$aneqb$_inline;SPMamp;_inline$AtildeneqB$_inlinehlinettaintb;SPMamp;nosense;SPMamp;_inline$AtildecapBneqemptyset$_inlinehlinehlinetabular{mytable}/;
$cached_env_img{$key} = ' <IMG WIDTH=298 HEIGHT=224 ALIGN=BOTTOM ALT="mytable738" SRC="img21.gif"  > '; 
$key = q/{displaymath}Eval:FactrightarrowFacttimesValue{displaymath}/;
$cached_env_img{$key} = ' <IMG WIDTH=353 HEIGHT=12 ALIGN=BOTTOM ALT="displaymath6801" SRC="img55.gif"  > '; 
$key = q/{figure}[tbh]centercenterfboxminipage1cmsmalltabbingxxxxxxxxxxxxx=xxx=xxxxxxxxxxxxkilldeductive>::=>bfunderlineDeductiveknowledge>>[bfunderlineDictionary:[bfunderlineTypes:_inline$mboxtypebinding^+$_inline][bfunderlinePredicates:_inline$mboxpredicate^+$_inline]>>[bfunderlineRules:_inline$mboxrule^+$_inline]>>[bfunderlineInferencesystem:logcomp]>>bfunderlinedeductivetypebinding>::=>ittypeid[bfunderline=typespec]tabbingminipagecentercenterlabeldeduck{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=568 HEIGHT=124 ALIGN=BOTTOM ALT="figure2379" SRC="img7.gif"  > '; 
$key = q/{_inline}$Query(sm,q_sm)${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=113 HEIGHT=23 ALIGN=MIDDLE ALT="tex2html_wrap_inline6785" SRC="img54.gif"  > '; 
$key = q/{_inline}$f=smf_sm${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=86 HEIGHT=24 ALIGN=MIDDLE ALT="tex2html_wrap_inline6821" SRC="img58.gif"  > '; 
$key = q/{mytable}table2Conjunctiontablefor_inline$A_8$_inline.tabular|r||r|r|r|r|r|r|r|r|cline2-9cline2-9multicolumn1c_inline$T_8$_inline;SPMamp;multicolumn1||r|gp;SPMamp;multicolumn1|r|mpop;SPMamp;multicolumn1|r|llp;SPMamp;multicolumn1|r|modp;SPMamp;multicolumn1|r|p;SPMamp;multicolumn1|r|fp;SPMamp;multicolumn1|r|mp;SPMamp;multicolumn1r|shlinehlinegp;SPMamp;gp;SPMamp;gp;SPMamp;gp;SPMamp;gp;SPMamp;gp;SPMamp;gp;SPMamp;gp;SPMamp;gphlinempop;SPMamp;gp;SPMamp;mpop;SPMamp;mpop;SPMamp;mpop;SPMamp;mpop;SPMamp;mpop;SPMamp;mpop;SPMamp;mpophlinellp;SPMamp;gp;SPMamp;mpop;SPMamp;mpop;SPMamp;llp;SPMamp;llp;SPMamp;llp;SPMamp;llp;SPMamp;llphlinemodp;SPMamp;gp;SPMamp;mpop;SPMamp;llp;SPMamp;modp;SPMamp;modp;SPMamp;modp;SPMamp;modp;SPMamp;modphlinep;SPMamp;gp;SPMamp;mpop;SPMamp;llp;SPMamp;modp;SPMamp;modp;SPMamp;modp;SPMamp;p;SPMamp;phlinefp;SPMamp;gp;SPMamp;mpop;SPMamp;llp;SPMamp;modp;SPMamp;modp;SPMamp;p;SPMamp;fp;SPMamp;fphlinemp;SPMamp;gp;SPMamp;mpop;SPMamp;llp;SPMamp;modp;SPMamp;p;SPMamp;fp;SPMamp;mp;SPMamp;mphlines;SPMamp;gp;SPMamp;mpop;SPMamp;llp;SPMamp;modp;SPMamp;p;SPMamp;fp;SPMamp;mp;SPMamp;shlinetabular{mytable}/;
$cached_env_img{$key} = ' <IMG WIDTH=533 HEIGHT=238 ALIGN=BOTTOM ALT="mytable1765" SRC="img85.gif"  > '; 
$key = q/{_inline}$max(mu^fever_medium(t),mu^fever_high(t)).${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=197 HEIGHT=32 ALIGN=MIDDLE ALT="tex2html_wrap_inline6463" SRC="img23.gif"  > '; 
$key = q/{_inline}$Refinement_method${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=152 HEIGHT=24 ALIGN=MIDDLE ALT="tex2html_wrap_inline6717" SRC="img45.gif"  > '; 
$key = q/{_inline}$A_n${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=18 HEIGHT=22 ALIGN=MIDDLE ALT="tex2html_wrap_inline6603" SRC="img36.gif"  > '; 
$key = q/{_inline}$BrightarrowD${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=52 HEIGHT=11 ALIGN=BOTTOM ALT="tex2html_wrap_inline6885" SRC="img67.gif"  > '; 
$key = q/{figure}[tbh]centercenterfboxminipage1cmsmalltabbingxxxxxxxxxxxxx=xxx=xxxxxxxxxxxxkilltypespec>::=>bfunderlinebooleanmbox_inline$vert$_inlinebfunderlinemany-valuedmbox_inline$vert$_inlinebfunderlinenumericmbox_inline$vert$_inlinebfunderlineclass_inline$vert$_inline>>bfunderlinefuzzychar-functmbox_inline$vert$_inlinebfunderline(symbollistbfunderline)mbox_inline$vert$_inlinebfunderline(valuesspecbfunderline)mbox_inline$vert$_inlineittypeidsymbollist>::=>itsymbol[itstring]mbox_inline$vert$_inlinesymbollistbfunderline,symbollistvaluesspec>::=>itsymbol[itstring]char-functmbox_inline$vert$_inlinevaluesspecbfunderline,valuesspecchar-funct>::=>bfunderline(itnumberbfunderline,itnumberbfunderline,itnumberbfunderline,itnumberbfunderline)tabbingminipagecentercenterlabeltypes{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=538 HEIGHT=109 ALIGN=BOTTOM ALT="figure2578" SRC="img9.gif"  > '; 
$key = q/{figure}[tbh]centercenterfboxminipage1cmsmalltabbingxxxxxxxxxxxxx=xxx=xxxxxxxxxxxxkillrule>::=>itruleidbfunderlineIfpremisse-rulebfunderlineThenconclusion-rule[itdocumentation]premisse-rule>::=>condition-rulebfunderlineandpremisse-rulembox_inline$vert$_inlinecondition-rulecondition-rule>::=>conditiombox_inline$vert$_inlinebfunderlinenobfunderline(conditiobfunderline)conditio>::=>operatorbfunderline(expressionbfunderline,...bfunderline,expressionbfunderline)_inline$vert$_inline>>expressionoperatorexpression_inline$vert$_inline>>pathpredidmbox_inline$vert$_inlineitltermidmbox_inline$vert$_inlinebfunderlinetruembox_inline$vert$_inlinebfunderlinefalseexpression>::=>operator-aritbfunderline(expressionbfunderline,...bfunderline,expressionbfunderline)_inline$vert$_inline>>bfunderline(expressionoperator-aritexpressionbfunderline)_inline$vert$_inline>>itnumbermbox_inline$vert$_inlinepathpredidoperator>::=>bfunderline_inline$;SPMlt;$_inlinembox_inline$vert$_inlinebfunderline_inline$;SPMgt;$_inlinembox_inline$vert$_inlinebfunderline_inline$;SPMlt;=$_inlinembox_inline$vert$_inlinebfunderline_inline$;SPMgt;=$_inlinembox_inline$vert$_inlinebfunderline=mbox_inline$vert$_inlinebfunderline=mbox_inline$vert$_inlinebfunderlineint_inline$vert$_inlineoperator-arit>::=>bfunderline+mbox_inline$vert$_inlinebfunderline-mbox_inline$vert$_inlinebfunderline*mbox_inline$vert$_inlinebfunderline:conclusion-rule>::=>bfunderlineconcluderconclusionbfunderlineiscert-valuerconclusion>::=>itpredidmbox_inline$vert$_inlineitpredidbfunderline=itsymbolmbox_inline$vert$_inlinebfunderlinenobfunderline(itpredidbfunderline)mbox_inline$vert$_inlinebfunderlinenobfunderline(itpredidbfunderline=itsymbolbfunderline)tabbingminipagecentercenterlabelrules{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=593 HEIGHT=259 ALIGN=BOTTOM ALT="figure3025" SRC="img17.gif"  > '; 
$key = q/{_inline}$A_5${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=16 HEIGHT=22 ALIGN=MIDDLE ALT="tex2html_wrap_inline6489" SRC="img29.gif"  > '; 
$key = q/{_inline}$B_7${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=19 HEIGHT=22 ALIGN=MIDDLE ALT="tex2html_wrap_inline6487" SRC="img28.gif"  > '; 
$key = q/{displaymath}Update:StatetimesFacttimesValuerightarrowStatetimes(FacttimesValue)^*{displaymath}/;
$cached_env_img{$key} = ' <IMG WIDTH=464 HEIGHT=15 ALIGN=BOTTOM ALT="displaymath6861" SRC="img60.gif"  > '; 
$key = q/{figure}[tbhp]centersetlengthunitlength0.92ptpicture(293,175)thicklinesput(190,63)itCommunicationput(267,38)vector(-1,0)78put(189,54)vector(1,0)78put(21,150)bfMODULEput(10,10)framebox(257,160)thinlinesput(60,85)itReflectionput(169,85)itReificationput(117,107)vector(0,-1)42put(155,65)vector(0,1)42put(82,30)framebox(107,35)bfDeductionput(82,107)framebox(107,35)bfMeta-deductionpicturecenterlabelconcy{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=396 HEIGHT=247 ALIGN=BOTTOM ALT="figure4187" SRC="img51.gif"  > '; 
$key = q/{_inline}$mboxrelation^+${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=62 HEIGHT=14 ALIGN=BOTTOM ALT="tex2html_wrap_inline6969" SRC="img77.gif"  > '; 
$key = q/{_inline}$mbox^+${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=7 HEIGHT=9 ALIGN=BOTTOM ALT="tex2html_wrap_inline6201" SRC="img4.gif"  > '; 
$key = q/{_inline}$AwedgeBwedgeCrightarrowD${_inline}/;
$cached_env_img{$key} = ' <IMG WIDTH=114 HEIGHT=11 ALIGN=BOTTOM ALT="tex2html_wrap_inline6879" SRC="img66.gif"  > '; 

1;

