====== Zadání SD4ft-kvantifikátoru ======
Součástí zadání množiny relevantních SD4ft-pravidel α×β:φ∼ψ i podmíněných SD4ft-pravidel α×β:φ∼ψ/χ je zadání SD4ft-kvantifikátoru ∼ v okně dle následujícího obrázku.
{{ :zadavani_sd4ft_kvantifikatoru.png?400 |}}

SDft-kvantifikátor ∼ je dán jako konjunkce SD4ftt-kvantifikátorů zadaných v tomto okně. To znamená, že podmínka definující SD4ft-kvantifikátor ∼ je konjunkcí podmínek definujících jednotlivé zadané SD4ft-kvantifikátory. Každé z uvedených tlačítek zahajuje zadávání jiného typu SD4ftkvantifikátoru. 

  * Tlačítkem ''Add statistical quantifier'' se zadávají statistické SD4ft-kvantifikátory popsané {{ :zadani_statistickeho_sd4ft_kvantifikatoru.pdf |zde}}.
  * Tlačítkem ''Add simple frequencies quantifier'' se zadávají jednoduché frekvenční SD4ft-kvantifikátory popsané {{ :zadani_jednoducheho_frekvencniho_sd4ft_kvantifikatoru.pdf |zde}}.