===== Zadání detailů výstupu 4ft-Miner =====
 Zadávání detailů výstupu se zahajuje tlačítkem ''Params'' z úvodní obrazovky.  Tím se  vyvolá okno dle následujícího obrázku. 
{{ :4ft_miner_zadani_parametru.png?500 |}}

Detaily výstupu se určují volbami v části //Prime-rule test and including of extensions options//. Platí:    

Volbou //Prime rule test enabled // se zapíná kontrola 
[[lm_guha_te_4ft_prostota#Prostota pro slabě implikační kvantifikátory|prostoty pro slabě implikační kvantifikátory]]. 

Volbou //Include succedents extensions of 100% implications // se zapíná zahrnutí pravidel s prodloužením sukcedentů pro 100% implikace.   Podrobnosti jsou {{ :prodlouzeni_sukcedentu_pro_100_pro_implikace.pdf |zde}}. 

Volbou //Include extensions of coefficients with no change in the four-fold table// se zapíná zahrnutí pravidel s rozšířením koeficientů beze změny ve čtyřpolní tabulce. Podrobnosti jsou {{ :pravidla_s_rozsirenymi_koeficienty.pdf |zde}}. 

Volbou //Include extensions of cedents with no change in the four-fold table// se zapíná zahrnutí pravidel s rozšířením cedentů beze změny ve čtyřpolní tabulce. Podrobnosti jsou {{ :pravidla_s_rozsirenymi_cedenty.pdf |zde}}. 

Volbou //Include "worse" extensions of antecedent (for implications and AAD/BAD)// se zapíná zahrnutí "horších"  antecedentů. Podrobnosti jsou {{ :potlaceni_horsich_rozsireni_antecedentu.pdf |zde}}. 

Volbou //Extensions minimal length check// se zapíná kontrola zadaných minimálních délek při testování prostoty.  Podrobnosti jsou {{ :minimalni_delka_prostota.pdf |zde}}. 

Volbou //Include both symetric hypothesis// se zapíná 
[[lm_guha_te_4ft_prostota#Prostota pro symetrické kvantifikátory|prostota pro symetrické kvantifikátory]].

Parametrem //Maximal number of hypotheses to be mined // se udává maximální počet pravidel který může být nalezen. Po dosažení uvedeného maximálního  počtu pravidel se běh procedury ukončí.