====== Zadání SDCF-kvantifikátoru ====== Součástí zadání množiny relevantních SDCF-výrazů je zadání SDCF-kvantifikátoru ≈ v okně dle následujícího obrázku. {{ :zadani_sdcf_kvantifikatoru.png |}} SDCF-kvantifikátor ≈ je dán jako konjunkce SDCF-kvantifikátorů zadaných v tomto okně. To znamená, že podmínka definující SDCF-kvantifikátor ≈ je konjunkcí podmínek definujících jednotlivé zadané SDCF-kvantifikátory. Každé z uvedených tlačítek zahajuje zadávání jiného typu SDCF-kvantifikátoru. * Tlačítkem ''Add distribution quantifier'' se zadávají distribuční SDCF-kvantifikátory popsané {{ :sdcf_distribucni_kvantifikatory.pdf |zde}}. * Tlačítkem ''Add simple frequencies quantifier'' se zadávají jednoduché frekvenční SDCF-kvantifikátory popsané {{ :sdcf_jednoduche_frekvencni_kvantifikatory.pdf |zde}}. * Tlačítkem ''Add step-up/down quantifier'' se zadávají step-up/down SDCF-kvantifikátory popsané {{ :sdcf_srtep-up_down_kvantifikatory.pdf |zde}}. Při zadávání CF-kvantifikátorů se často používá [[lm_guha_te_category_range|Category range]].