%G{if%COUNT_RULE%=0} %G{else} %G{fi%COUNT_RULE} %G{if%COUNT_SORT%=0} %G{else} %G{fi%COUNT_SORT}
Selection definition
Selection name%G{v%SEL_NAME}Selection description%G{v%SEL_DESCR}
Parent select%G{v%SEL_PARENTNAME}Count of hypotheses%G{v%COUNT_HYP}
Processing of missing inf.%G{if%SEL_XX%=OPT}OPT%G{else}%G{if%SEL_XX%=DEL}DEL%G{else}%G{if%SEL_XX%=SEC}SEC%G{else}%G{if%SEL_XX%=XXSEC}XXSEC%G{else}(not defined)%G{fi}%G{fi}%G{fi}%G{fi}Critical prob.%G{if%SEL_CP%=-65535}(not defined)%G{else}%G{v%SEL_CP}%G{fi}
Number of filtering rules%G{v%COUNT_RULE}Number of sort rules%G{v%COUNT_SORT}
No filtering rules defined
List of filtering rules
%G{for%RULE} %G{i%RULE_TYPE%=0} %G{else} %G{i%RULE_TYPE%=1} %G{else} %G{i%RULE_TYPE%=2} %G{else} %G{i%RULE_TYPE%=3} %G{else} %G{i%RULE_TYPE%=4} %G{else} %G{i%RULE_TYPE%=5} %G{else} %G{i%RULE_TYPE%=6} %G{else} %G{i%RULE_TYPE%=7} %G{else} %G{fi} %G{fi} %G{fi} %G{fi} %G{fi} %G{fi} %G{fi} %G{fi} %G{next%RULE}
Rule n. %G{v%RULE_ID%10}Rule typeStatisticsComparisonBoundXXCP
Statistics%G{file%%StatRule.htm}%G{if%RULE_L2%=1}<%G{else}%G{if%RULE_L2%=2}<=%G{else}%G{if%RULE_L2%=3}=%G{else}%G{if%RULE_L2%=4}=>%G{else}>%G{fi}%G{fi}%G{fi}%G{fi}%G{v%RULE_D1}%G{if%RULE_L3%=OPT}OPT%G{else}%G{if%RULE_L3%=DEL}DEL%G{else}%G{if%RULE_L3%=SEC}SEC%G{else}%G{if%RULE_L3%=XXSEC}XXSEC%G{else}(not defined)%G{fi}%G{fi}%G{fi}%G{fi}%G{if%RULE_D2%=-65535}%G{else}%G{v%RULE_D2}%G{fi}
Rule typeCedentComparisonBound
Cedent length%G{if%RULE_L1%=0}Antecedent%G{else}Succedent%G{fi}%G{if%RULE_L2%=1}<%G{else}%G{if%RULE_L2%=2}<=%G{else}%G{if%RULE_L2%=3}=%G{else}%G{if%RULE_L2%=4}=>%G{else}>%G{fi}%G{fi}%G{fi}%G{fi}%G{v%RULE_L3}
Rule typeCedentConditionList of variables
By variables%G{if%RULE_L1%=0}Antecedent%G{else}Succedent%G{fi}%G{if%RULE_L2%=0}Some%G{else}%G{if%RULE_L2%=1}All%G{else}Only%G{fi}%G{fi}%G{for%FOR_VEL_RULE}%G{next}
%G{v%VEL_NAME}%G{v%VEL_DESCR}
Rule typeCedentConditionList of literals
By literals%G{if%RULE_L1%=0}Antecedent%G{else}Succedent%G{fi}%G{if%RULE_L2%=0}Some%G{else}%G{if%RULE_L2%=1}All%G{else}Only%G{fi}%G{fi}%G{for%FOR_LIT_RULE}%G{next}
%G{v%VEL_NAME}%G{v%LIT_NAME}%G{i%LIT_SGN%=0}+%G{else}-%G{fi}%G{v%LIT_DESCR}
Rule typeCedentPodmínkaSeznam kategorií
Podle kategorií%G{if%RULE_L1%=0}Antecedent%G{else}Succedent%G{fi}%G{if%RULE_L2%=0}Nějakí%G{else}%G{if%RULE_L2%=1}Všechny%G{else}Pouze%G{fi}%G{fi}%G{for%FOR_KAT_RULE}%G{next}
%G{v%VEL_NAME}%G{v%KAT_NAME}%G{v%KAT_DESCR}
Typ pravidla
Ne symetrické
Typ pravidlaCedent
Jen nejkratší%G{if%RULE_L1%=0}Antecedent%G{else}Succedent%G{fi}
Typ pravidlaCedent
Jen nejdelší%G{if%RULE_L1%=0}Antecedent%G{else}Succedent%G{fi}
Žádná třídící pravidla nejsou definována
Seznam třídících pravidel
%G{for%SORT} %G{i%SORT_TYPE%=0} %G{else} %G{i%SORT_TYPE%=1} %G{else} %G{i%SORT_TYPE%=2} %G{fi} %G{fi} %G{fi} %G{next%SORT}
Pravidlo č. %G{v%SORT_ID%10}PořadíTyp pravidlaStatistikaXXCP
%G{i%SORT_SEQ%=0}Vzestupně%G{else}Sestupně%G{fi}Statistika%G{file%%StatSort.htm}%G{if%SORT_L2%=OPT}OPT%G{else}%G{if%SORT_L2%=DEL}DEL%G{else}%G{if%SORT_L2%=SEC}SEC%G{else}%G{if%SORT_L2%=XXSEC}XXSEC%G{else}(zde nedefinováno)%G{fi}%G{fi}%G{fi}%G{fi}%G{if%SORT_D1%=-65535}%G{else}%G{v%SORT_D1}%G{fi}
PořadíTyp pravidla
%G{i%SORT_SEQ%=0}Vzestupně%G{else}Sestupně%G{fi}Délka hypotézy
PořadíTyp pravidlaCedent
%G{i%SORT_SEQ%=0}Vzestupně%G{else}Sestupně%G{fi}Délka cedentu%G{if%SORT_L1%=0}Antecedent%G{else}Succedent%G{fi}